Re: changing git tags on the remote repo

On Sun, Aug 12, 2018 at 01:12:40PM +0200, Holger Wansing wrote: > Hi, > > I am curious about how to change an already existing git tag afterwards > (means: change the commit it points to). > > Locally, I can change an existing tag, and then create it newly. > But I cannot push it to the remote

Re: changing git tags on the remote repo

Hello, On Sun 12 Aug 2018 at 02:32pm GMT, Jeremy Stanley wrote: > And probably the biggest reason _why_ you don't want to do this is > that tag deletion/replacement doesn't propagate via pull or remote > update. Yes. Propagating updated tags is surprisingly confusing. Try to avoid it! --

Re: changing git tags on the remote repo

On 2018-08-12 14:35:22 +0200 (+0200), Carsten Schoenert wrote: [...] > that's a feature. > Normally you don't want this and nobody can delete tags unintentionally > as there is normally no reason to change history on a public git tree. > The normal case is to create new tag with the according

Re: changing git tags on the remote repo

Hi Holger, Am 12.08.18 um 14:17 schrieb Holger Wansing: > Hi, > > Alf Gaida wrote: >> git push --tags --force - if one have the needed rights and the remote >> settings allow it. > > This goes at least so far, that I get a clear error message: > > remote: GitLab: You are not allowed to change

Re: changing git tags on the remote repo

Hi, Alf Gaida wrote: > git push --tags --force - if one have the needed rights and the remote > settings allow it. This goes at least so far, that I get a clear error message: remote: GitLab: You are not allowed to change existing tags on this project. Thanks anyway Holger -- Holger

Re: changing git tags on the remote repo

git push --tags --force - if one have the needed rights and the remote settings allow it. Cheers Alf

Re: changing git tags on the remote repo

Holger Wansing wrote: > I am curious about how to change an already existing git tag afterwards > (means: change the commit it points to). > Locally, I can change an existing tag, and then create it newly. > But I cannot push it to the remote repo (get > "! [rejected]139 -> 139

changing git tags on the remote repo

Hi, I am curious about how to change an already existing git tag afterwards (means: change the commit it points to). Locally, I can change an existing tag, and then create it newly. But I cannot push it to the remote repo (get "! [rejected]139 -> 139 (already exists) " There is