Le mardi 2 janvier 2018, 14:32:00 CET Plamen Totev a écrit : > Hi, > > > On Thu, Dec 28, 2017 at 10:43 AM, Hervé BOUTEMY <[email protected]> > > wrote: thank you Plamen: this script is really awesome! > > You're welcome. I'm glad it helped. > > > And I just pushed the result on maven-acr-plugin: you can see the result > > live. As you can see, the tags on GitBox [2] are updated but not the tags > > on GitHub [3] even if I tried to force to GitHub (and it looked ok) > > I don't know if it's a major issue > > Would you check again. To me it looks like as if now the tags on > GitHub are updated as well. ok, perhaps I just misread GitHub, since it does not show the tag annotation message, but only the message of the commit the tag points to
Then I just did a quit test on maven-antrun-plugin: GitBox tags were changed, but GitHub tags were not. Then I pushed (-force) directly to GitHub (= what I already did for GitBox), and I could see that this time the tags were changed. Then I'll have to push the tags to GitHub explicitely, or there will be a discrepency between GitBox and GitHub: I'll do it tonight Regards, Hervé --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
