codereview: delete, now using GitHub pull requests

2017-09-01 13:16:12 -04:00
parent a83f4518e6
commit 6cb3a2b9c3
5 changed files with 2 additions and 3944 deletions
--- a/lib/codereview/codereview.cfg
+++ b/lib/codereview/codereview.cfg
@@ -1 +0,0 @@
-# defaultcc: plan9port-dev@googlegroups.com
--- a/lib/codereview/codereview.py
+++ b/lib/codereview/codereview.py
				`@@ -1 +0,0 @@`
				`# defaultcc: plan9port-dev@googlegroups.com`