message no. 175111
Posted by nedbat in #github at 2019-10-17T12:02:56Z
sponge337: git push --tags # no, I don't know why you have to ask for tags to be pushed separately
Posted by nedbat in #github at 2019-10-17T12:02:56Z