message no. 109865
Posted by Siilwyn in #github at 2015-08-28T08:55:50Z
Alright, thanks for all the help Nevik, tobiasvl and _rgn! I solved it by pulling the tags to my machine; deleting the tags. Then I made a new tag and changed the GIT_COMMITTER_DATE, GIT_AUTHOR_NAME and commit ID to hold the correct info. Finally I pushed it. Et voila, I could check if everything was correct and delete the old tags throught GitHub's interface.