Skip to content
This repository has been archived by the owner on Nov 6, 2023. It is now read-only.
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: EFForg/https-everywhere
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: cccs/https-everywhere
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: master
Choose a head ref
Able to merge. These branches can be automatically merged.
  • 4 commits
  • 4 files changed
  • 1 contributor

Commits on Nov 24, 2015

  1. Added kreisbau.de rule

    Marco Ziesing committed Nov 24, 2015

    Verified

    This commit was signed with the committer’s verified signature.
    shanduur Mateusz Urbanek
    GPG key ID: 965531459857EDA0
    Verified
    Learn about vigilant mode
    Copy the full SHA
    59892fc View commit details

  2. Added CCCS.de rule

    Marco Ziesing committed Nov 24, 2015
    Copy the full SHA
    7f2fb7f View commit details

  3. Added hdm-stuttgart.de rules

    Marco Ziesing committed Nov 24, 2015
    Copy the full SHA
    b6470ed View commit details

  4. Added stuttgart.de rule

    Marco Ziesing committed Nov 24, 2015
    Copy the full SHA
    f9beb57 View commit details
7 changes: 7 additions & 0 deletions src/chrome/content/rules/CCCS.de.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
<ruleset name="CCC Stuttgart" default_off="cacert">
<target host="*.cccs.de" />
<target host="cccs.de" />

<rule from="^http://cccs\.de/" to="https://www.cccs.de/"/>
<rule from="^http://([^/:@\.]+)\.cccs\.de/" to="https://$1.cccs.de/"/>
</ruleset>
13 changes: 13 additions & 0 deletions src/chrome/content/rules/HdM-Stuttgart.de.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<ruleset name="Hochschule der Medien">
<target host="www.hdm-stuttgart.de" />
<target host="asta.hdm-stuttgart.de" />
<target host="usta.hdm-stuttgart.de" />
<target host="blog.hdm-stuttgart.de" />
<target host="hdm-stuttgart.de" />

<rule from="^http://www\.hdm-stuttgart\.de/" to="https://www.hdm-stuttgart.de/"/>
<rule from="^http://asta\.hdm-stuttgart\.de/" to="https://asta.hdm-stuttgart.de/"/>
<rule from="^http://usta\.hdm-stuttgart\.de/" to="https://usta.hdm-stuttgart.de/"/>
<rule from="^http://blog\.hdm-stuttgart\.de/" to="https://blog.hdm-stuttgart.de/"/>
<rule from="^http://hdm-stuttgart\.de/" to="https://www.hdm-stuttgart.de/"/>
</ruleset>
7 changes: 7 additions & 0 deletions src/chrome/content/rules/Kreisbau.de.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
<ruleset name="Kreisbaugesellschaft Heidenheim GmbH">
<target host="*.kreisbau.de" />
<target host="kreisbau.de" />

<rule from="^http://kreisbau\.de/" to="https://www.kreisbau.de/"/>
<rule from="^http://([^/:@\.]+)\.kreisbau\.de/" to="https://$1.kreisbau.de/"/>
</ruleset>
7 changes: 7 additions & 0 deletions src/chrome/content/rules/Stuttgart.de.xml
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
<ruleset name="Stadt Stuttgart">
<target host="www.stuttgart.de" />
<target host="stuttgart.de" />

<rule from="^http://www\.stuttgart\.de/" to="https://www.stuttgart.de/"/>
<rule from="^http://stuttgart\.de/" to="https://www.stuttgart.de/"/>
</ruleset>