add hgtags to git

[jschleic]

Ulli, did your migration script also convert the former version tags so that you could push them?
Otherwise I'll extract them from .hgtags and add them to git.

[ukoethe]

Am 15.07.2011 10:45, schrieb jschleic:

Ulli, did your migration script also convert the former version tags so that you could push them?
Otherwise I'll extract them from .hgtags and add them to git.

When I invoke 'git tag', I see the expected output. So I guess, the tags were
converted correctly. We can probably just remove the .hg* now, but lets wait a
little until everything has settled.

[jschleic]

Then try "git push --tags", please (to make the tags visible in the
gitbub web interface and to other developers).
Thanks.

Am 15.07.2011 14:42, schrieb ukoethe:

Am 15.07.2011 10:45, schrieb jschleic:

Ulli, did your migration script also convert the former version tags so that you could push them?
Otherwise I'll extract them from .hgtags and add them to git.

When I invoke 'git tag', I see the expected output. So I guess, the tags were
converted correctly. We can probably just remove the .hg* now, but lets wait a
little until everything has settled.

Joachim Schleicher | Dautmergerstr. 24, 72358 Dormettingen | Sensbergstr. 18, 64759 Sensbachtal
Tel. 06068750 | Mobil 0152 058 34 939

Eurobot 2010 - Team der Universität Heidelberg - roboter.uni-hd.de
Balinger Rockfestival am 19. März 2011 - www.balinger-rockfestival.de

[ukoethe]

done