Prepare move to github.

gambit · Mar 13, 2012 · 33ba9fb · 33ba9fb
1 parent 2d04867
commit 33ba9fb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/include/stamp.h b/include/stamp.h
@@ -2,5 +2,5 @@
  * Time stamp of last source code repository commit.
  */
 
-#define ___STAMP_YMD 20120225
-#define ___STAMP_HMS 135406
+#define ___STAMP_YMD 20120313
+#define ___STAMP_HMS 174654
diff --git a/makefile.in b/makefile.in
@@ -139,7 +139,7 @@ status: fake_target
 
 push: fake_target
 	@if test "$(RC)" = "$(GIT)"; then \
-	  $(GIT) push ssh://gambit@frontal07.iro.umontreal.ca/~/HTML/repo/gambit.git/; \
+	  $(GIT) push git@github.com:feeley/Gambit.git; \
 	else \
 	  $(HG) push; \
 	fi
@@ -305,7 +305,7 @@ rc-setup-pre:
 	  echo '	ignorecase = true' >> .git/config; \
 	  echo '	autocrlf = false' >> .git/config; \
 	  echo '[remote "origin"]' >> .git/config; \
-	  echo '	url = ssh://gambit@frontal07.iro.umontreal.ca/~/HTML/repo/gambit.git' >> .git/config; \
+	  echo '	url = git@github.com:feeley/Gambit.git' >> .git/config; \
 	  echo '	fetch = +refs/heads/*:refs/remotes/origin/*' >> .git/config; \
 	  echo '[branch "master"]' >> .git/config; \
 	  echo '	remote = origin' >> .git/config; \