diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2007-11-04 14:44:19 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2007-11-04 14:44:19 +0100 |
| commit | af327904f4fe1a96f03f703a6169d00433f58851 (patch) | |
| tree | d7570eed569a6c3e358432d5386ec1f2a8e73482 | |
| parent | 179cb125f2434b62ba7718a212d8213c013def34 (diff) | |
Add GIT hint for pushing, in case of write access to cloned repositories.
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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): |