diff --git a/pep-0512.txt b/pep-0512.txt
index c9ae0ea37..10cb2eac4 100644
--- a/pep-0512.txt
+++ b/pep-0512.txt
@@ -114,9 +114,9 @@ Repositories to Migrate
 While hg.python.org [#h.p.o]_ hosts many repositories, there are only
 five key repositories that should move:
 
-1. devinabox [#devinabox-repo]_
-2. benchmarks [#benchmarks-repo]_
-3. peps [#peps-repo]_
+1. devinabox [#devinabox-repo]_ (done)
+2. benchmarks [#benchmarks-repo]_ (maybe)
+3. peps [#peps-repo]_ (done)
 4. devguide [#devguide-repo]_
 5. cpython [#cpython-repo]_
 
@@ -230,6 +230,17 @@ showcase for asynchronous programming. The code for the  bot is hosted
 in the Knights Who Say Ni project [#ni]_.
 
 
+Make old repository read-only
+'''''''''''''''''''''''''''''
+
+Updating `.hg/hgrc` in the now-old Mercurial repository in the `[hooks]`
+section with::
+
+  pretxnchangegroup.reject = echo " * This repo has been migrated to github.com/python/peps and does not accept new commits in Mercurial!" 2>&1; exit 1
+  
+will make the repository read-only.
+
+
 Requirements for Web-Related Repositories
 -----------------------------------------