[Archer] Question about archer branch managment

Joel Brobecker brobecker@adacore.com
Thu Feb 24 11:32:00 GMT 2011


> This makes a local branch. If you want to mirror this local branch on 
> the archer server (which we encourage -- it is better to share), push it:
> 
> $ git push origin
> archer-tromey-explosion-project:archer-tromey-explosion-project
> 
> Note that this command is only useful the first time you push your branch to
> 
> the repository. For subsequent pushes, you should omit master:
> 
> $ git push origin archer-tromey-explosion-project

Hmmm, I thought that 

        $ git push origin archer-tromey-explosion-project

would have worked right from the get go...

-- 
Joel



More information about the Archer mailing list