summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2007-11-04 14:44:19 +0100
committerJonas Smedegaard <dr@jones.dk>2007-11-04 14:44:19 +0100
commitaf327904f4fe1a96f03f703a6169d00433f58851 (patch)
treed7570eed569a6c3e358432d5386ec1f2a8e73482
parent179cb125f2434b62ba7718a212d8213c013def34 (diff)
Add GIT hint for pushing, in case of write access to cloned repositories.
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 1021ab3..3119588 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,8 @@ $(underlays):
cd $@ && \
git init && \
git remote add -f -t $(master) -m $(master) origin $(origin) && \
- git merge origin; \
+ git merge origin && \
+ git config remote.origin.push +refs/heads/master:refs/heads/$(master); \
fi
$(dummies):