avoid Git trying to push tags to the AUR

If users have enabled push.followTags in their Git config then dropping packages to the AUR spews errors because all the release tags from official repos are rejected by AUR repos.

Merge request reports

Loading