From: | Abhijit Menon-Sen <ams(at)toroid(dot)org> |
---|---|
To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
Cc: | Magnus Hagander <magnus(at)hagander(dot)net>, pgsql-hackers(at)postgresql(dot)org |
Subject: | Re: Git conversion status |
Date: | 2010-09-21 19:24:42 |
Message-ID: | 20100921192442.GA7614@toroid.org |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgsql-hackers |
At 2010-09-21 12:45:20 -0400, tgl(at)sss(dot)pgh(dot)pa(dot)us wrote:
>
> Having done that, I now realize that the historical tag "release-6-3"
> is identical to what I applied as REL6_3. It would probably be
> reasonable to remove "release-6-3", if that's still possible, but
> I'm not clear on how.
You can safely delete the tag from the upstream repository with:
git push origin :refs/tags/release-6-3
New clones of the repository will not see that tag, but existing clones
will continue to have it. Anyone who runs "git push --tags" from such a
clone without deleting the tag manually (git tag -d release-6-3) will,
however, restore the tag upstream.
I'd say it's not worth the bother.
-- ams
From | Date | Subject | |
---|---|---|---|
Next Message | Tom Lane | 2010-09-21 19:32:04 | Re: .gitignore files, take two |
Previous Message | Magnus Hagander | 2010-09-21 19:01:00 | Re: .gitignore files, take two |