On 03/09/18 12:56, Sebastiaan Couwenberg wrote: > The upstream tags need to be updated to reflect the new version: > > git tag upstream/0_20150801.d1be8c43 upstream/20150801.d1be8c43 Done since long... > git push --tags ...but not this one. Until now. Cheers! --alec