skolsuper

I think you're confusing "citizen" with "civilian" there, although I agree neither are the same thing or were ever used in the same way as "consumer".

define 'citizen' - > a legally recognized subject or national of a state or commonwealth, either native or naturalized.

Definitely arguable, if git can see the tag is not on the remote yet. The problem is git can't tell if the tag is not on any remote, so just not moving them ever is always the safe choice.

This could have been prevented by using "the cactus model" of git branching (sorry no link to source as am on mobile, Google should find it tho) where releases are branches, not tags.

How recently? Nowadays, Jenkins is looking half-decent again imo. Also, I think you can do literally anything in Jenkins that you can do with a custom tool, without really twisting it out of shape.

The commit wasn't already pushed though. The problem was with the semantics of a 'tag' in git being immutable, and not being rebased along with the commit and the branch, then getting pushed anyway.

polish as in shine, not Polish as in Poland