From 51daa87e49d570de5e9c8bb4d46d8fc06dd1e909 Mon Sep 17 00:00:00 2001 From: keni Date: Mon, 4 Dec 2017 17:33:41 -0500 Subject: [PATCH] Add github to the developer docs. --- DEVEL/Developer.txt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 ------------------------------------------------------------------------------