Basically I wanted to do something like git push mybranch to repo1, repo2, repo3
right now I\'m just typing push many times, and if I\'m in a hurry to the t
You can have several URLs per remote in git, even though the git remote
command did not appear to expose this last I checked. In .git/config
, put something like this:
[remote "public"]
url = git@github.com:kch/inheritable_templates.git
url = kch@homeserver:projects/inheritable_templates.git
Now you can say “git push public
” to push to both repos at once.
What I do is have a single bare repository that lives in my home directory that I push to. The post-update hook in that repository then pushes or rsyncs to several other publicly visible locations.
Here is my hooks/post-update:
#!/bin/sh
#
# An example hook script to prepare a packed repository for use over
# dumb transports.
#
# To enable this hook, make this file executable by "chmod +x post-update".
# Update static info that will be used by git clients accessing
# the git directory over HTTP rather than the git protocol.
git-update-server-info
# Copy git repository files to my web server for HTTP serving.
rsync -av --delete -e ssh /home/afranco/repositories/public/ afranco@slug.middlebury.edu:/srv/www/htdocs/git/
# Upload to github
git-push --mirror github