From 1e6debe8f78e0895afe500975335eccca4ac97e8 Mon Sep 17 00:00:00 2001
From: Cheng Sun <chengsun9@gmail.com>
Date: Thu, 2 Jan 2020 00:13:18 +0000
Subject: [PATCH] New rule for codeforces.com

---
 src/chrome/content/rules/Codeforces.com.xml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 src/chrome/content/rules/Codeforces.com.xml

diff --git a/src/chrome/content/rules/Codeforces.com.xml b/src/chrome/content/rules/Codeforces.com.xml
new file mode 100644
index 000000000000..ee61d3843830
--- /dev/null
+++ b/src/chrome/content/rules/Codeforces.com.xml
@@ -0,0 +1,18 @@
+<!--
+	Nonfunctional hosts in *.codeforces.com (as of 2019-01-02):
+		# m1.codeforces.com (m)
+		# m3.codeforces.com (r)
+
+	m: certificate mismatch
+	r: connection refused
+-->
+<ruleset name="Codeforces.com">
+	<target host="codeforces.com" />
+		<test url="http://codeforces.com/enter" />
+	<target host="www.codeforces.com" />
+		<test url="http://www.codeforces.com/enter" />
+	<target host="m2.codeforces.com" />
+		<test url="http://m2.codeforces.com/enter" />
+
+	<rule from="^http:" to="https:" />
+</ruleset>