From: Thomas Glanzmann Date: Wed, 19 Sep 2007 11:35:57 GMT Subject: Initial push to remote repository Message-ID: <20070919113557.GA24674@cip.informatik.uni-erlangen.de> Hello, I used to publish my local work on a machine with all my git repositories using the following commands: # Publish a local created repository to a remote repository. ssh 131.188.30.102 git --git-dir=/home/cip/adm/sithglan/work/repositories/private/astro.git init-db git remote add origin 131.188.30.102:/home/cip/adm/sithglan/work/repositories/private/astro.git git push origin master:master echo >> .git/config <