Dear Git Users

Philip Potter philip.g.potter at
Thu Jul 21 23:06:23 BST 2011

On 21 July 2011 22:46, Paul Johnson <paul at> wrote:
> I seem to recall moving stuff to github being fairly straightforward
> once you worked out what needed to be done.  I'm afraid that I can
> neither remember what I did, nor can I find the instructions on how to
> do it on github itself.

When you create a new repo on github, it gives you the instructions on
how to push to it. I think it's just a matter of doing "git add remote
<url>" and "git push" (assuming you've set up your github public key
authentication already...) This should work if it's the first commit
in a new repo or an entire old one.


More information about the mailing list