>> Merge tag 'upstream/0.17.2' >> >> Upstream version 0.17.2 > > Please push the tags too. > Hmm, so tags don't get pushed by default. I've pushed again with "git push --tags" -- Sebastian Holtermann