Git confusion

Ian Lynagh ian at
Mon Feb 4 22:26:11 CET 2013

On Mon, Feb 04, 2013 at 07:12:19PM +0000, Ian Lynagh wrote:
> So having done "git remote rm origin", how do I configure the git pull
> branches again?

Looks like this does it:

git remote add origin
git fetch origin
git branch --set-upstream master origin/master


More information about the ghc-devs mailing list