On 2018-05-09 17:06, Martin Landa wrote: > Martin Landa pushed new tag origin at Debian GIS Project / grass This tag does not belong in the repository. Delete it locally with: git tag -d origin And delete it from the repository with: git push origin :origin Kind Regards, Bas