[GiNaC-devel] git

Hi, I think I want to repair the dates of the tags in git. It just doesn't look to good with all the unknown dates (I also want to fix relase->release). But I am not 100% sure what that would mean for the other people here (would they have to delete and fetch every single tag manually, clone again, do nothing, ...). So, I just wanted to ask whether there are some objections or better ideas. I have already fix release_0-5-0 as a show case. Regards, Jens