git tags not pushed

Hey Gilles & Eric,

Would you mind git push --tags, so that the tags show up on github for
each release?


Thanks,
Jason

-- 
You received this mail because you are subscribed to [email protected]
To unsubscribe, send a mail to: [email protected]

Reply via email to