[git-users] Freeze a branch

2012-03-11 Thread Mark Liversedge
Hi, I have a branch on github that was used for development for the last 18 months, but it has now been merged back into master. I will be removing it shortly, but am keeping it just in case anything odd crops up, or folks have local versions they are working against and submit a patch in the

Re: [git-users] Freeze a branch

2012-03-11 Thread Michael P. Soulier
On 11/03/12 Mark Liversedge said: Hi, I have a branch on github that was used for development for the last 18 months, but it has now been merged back into master. I will be removing it shortly, but am keeping it just in case anything odd crops up, or folks have local versions they are

Re: [git-users] Freeze a branch

2012-03-11 Thread Konstantin Khomoutov
On Sun, 11 Mar 2012 06:19:26 -0700 (PDT) Mark Liversedge liverse...@gmail.com wrote: I have a branch on github that was used for development for the last 18 months, but it has now been merged back into master. I will be removing it shortly, but am keeping it just in case anything odd crops

[git-users] Is there a way to rename a label in git?

2012-03-11 Thread AdrianH
I inadvertently labelled two labels with the wrong number. Is there some method to rename these to the correct number? Thanks, A -- You received this message because you are subscribed to the Google Groups Git for human beings group. To view this discussion on the web visit

[git-users] Re: Is there a way to rename a label in git?

2012-03-11 Thread AdrianH
Never mind, I couldn't find it because I was using wrong terminology. I should have looked up rename tag. Thanks. A On Sunday, March 11, 2012 11:32:04 PM UTC-4, AdrianH wrote: I inadvertently labelled two labels with the wrong number. Is there some method to rename these to the