[GiNaC-devel] git

Jens Vollinga jensv at nikhef.nl
Wed Mar 26 11:09:05 CET 2008


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


More information about the GiNaC-devel mailing list