add RequestSSL (#3)

* add RequestSSL * Update mediawiki-repos.yaml
miraheze · Jan 18, 2024 · 7f30976 · 7f30976
1 parent 7e1e152
commit 7f30976
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/mediawiki-repos.yaml b/mediawiki-repos.yaml
@@ -965,6 +965,10 @@ Report:
   branch: master
   path: extensions/Report
   repo_url: https://github.com/wikimedia/mediawiki-extensions-Report
+RequestSSL:
+  branch: main
+  path: extensions/RequestSSL
+  repo_url: https://github.com/miraheze/RequestSSL
 RevisionSlider:
   branch: _branch_
   path: extensions/RevisionSlider
@@ -1380,7 +1384,3 @@ wikihiero:
   branch: _branch_
   path: extensions/wikihiero
   repo_url: https://github.com/wikimedia/mediawiki-extensions-wikihiero
-sanecase:
-  branch: master
-  path: extensions/SaneCase
-  repo_url: https://github.com/ciencia/mediawiki-extensions-SaneCase