[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cross-project-issues-dev] how to delete a git tag at eclipse.org?

On Tue, Nov 24, 2015 at 2:16 PM, Paul Webster <pwebster@xxxxxxxxxxxxxxxxxxx> wrote:
On Mon, Nov 23, 2015 at 1:24 PM, Bob Brodt <bbrodt@xxxxxxxxxx> wrote:
Hi all,

I need to "move" a tag to include the most commit, so I first tried this:

Something you want to be careful about. When you force push a branch, on the next pull everybody finds out about it via the discrepancy between branch and origin/branch. But I think if you force change a tag, everybody that has already pulled that tag will keep the old version. Git won't auto-update an existing tag in a local repo. Now it might not be a problem if you don't have a lot of contributors pulling your repo frequently, but you should make them aware on your *-dev list. If they delete the tag and pull again, they'll get the correct tag.

they should also get the updated tags if they run
git fetch -f origin

-MatthiasÂ