diff --git a/DEVEL/Developer.txt b/DEVEL/Developer.txt
index b30fa06c9..3608c8c3c 100644
--- a/DEVEL/Developer.txt
+++ b/DEVEL/Developer.txt
@@ -4,7 +4,7 @@
  |___/\___|\_/\___|_\___/ .__/\___|_|  
                         |_|            
 
-$NHDT-Date: 1447180052 2015/11/10 18:27:32 $
+$NHDT-Date: 1512426817 2017/12/04 22:33:37 $
 
 Welcome to the NetHack Infrastructure Developer's Guide.
 
@@ -32,8 +32,10 @@ while.  Please do not send save files, binary screen grabs, or other large
 things.
 ------------------------------------------------------------------------------
 2. git repositories
-The public NetHack git repository is available (read-only) on SourceForge at:
+The public NetHack git repository is available (read-only) at:
   git://git.code.sf.net/p/nethack/NHsource
+    or
+  https://github.com/NetHack/NetHack.git
 
 XXX need to discuss what branches are available
 ------------------------------------------------------------------------------