Ignore jenkins-{build,fetch}-* tags when generating reprepro configuration
Originally created by @intrigeri on #7220 (Redmine)
We still have more than 200 spurious jenkins-{build,fetch}*
tags in
Git. The scripts that generate our reprepro configuration translate each
of those into an APT suite, making the whole process more time and
resources consuming than it should.
Our previous attempts to get rid of these tags failed, as they keep being re-introduced when fetching from someone’s remote, who has not deleted it. There’s little chance we manage to get rid of it before we split the Git repo, and rewrite its history. So, these tags should be ignored.