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