Git repo ready!

[Christian Stimming]

Am Freitag, 11. März 2011 schrieb John Ralls:
> On Mar 11, 2011, at 7:06 AM, Derek Atkins wrote:
> > John Ralls <jralls at ceridwen.us> writes:
> >>> However, I think the git repo is missing many of the recent tags, e.g.
> >>> the 2.4.3 tag. Maybe you need to run "git push --tags" or something
> >>> similar so that the tags are actually pushed?
> >> 
> >> Hmm. It looks like they have been lost somehow. I had a problem with
> >> the script, which I thought that I'd fixed, but it looks like I was
> >> just dropping the tags instead of converting them to git tags. I
> >> should be able to fix this without having to redo everything.
> 
> Anyway, it's all fixed. The references were in git, they just didn't get
> tagged correctly so they were dangling. A wee perl script fixed everything
> up and it's now pushed to Github.

Thanks.

Err... how do I pull those newly pushed tags in my local repo? "git pull" et 
al doesn't seem to do that.

Regards,

Christian