Add message about new repo location.

leepike · Jun 10, 2015 · d221748 · d221748
1 parent 97c812e
commit d221748
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+# STOP! The official Copilot repos are now at [https://github.com/Copilot-Language/](https://github.com/Copilot-Language).
+
 Overview
 ========
 [copilot-cbmc](http://hackage.haskell.org/package/copilot-cbmc) A tool to