On Tue, Nov 24, 2015 at 2:16 PM, Paul Webster <[email protected]> wrote:
> On Mon, Nov 23, 2015 at 1:24 PM, Bob Brodt <[email protected]> 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
_______________________________________________ cross-project-issues-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
