Permalink
Browse files

Rename github repo to "gambit" (all lowercase).

  • Loading branch information...
1 parent 33ba9fb commit ce6345cab53e2826eb465485cc548780a99bc2d5 @feeley feeley committed Mar 13, 2012
Showing with 3 additions and 3 deletions.
  1. +1 −1 include/stamp.h
  2. +2 −2 makefile.in
View
@@ -3,4 +3,4 @@
*/
#define ___STAMP_YMD 20120313
-#define ___STAMP_HMS 174654
+#define ___STAMP_HMS 190222
View
@@ -139,7 +139,7 @@ status: fake_target
push: fake_target
@if test "$(RC)" = "$(GIT)"; then \
- $(GIT) push git@github.com:feeley/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 = git@github.com:feeley/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; \

0 comments on commit ce6345c

Please sign in to comment.