I am actually a ClearCase guy and thus not too fond of my company moving to git. I try to get into it anyway.

Is it that git (lightweight) tags are global?

git tag v0.1.0

Docu says: “This creates a “lightweight” tag, basically a branch that never moves.”

And honestly I expected branches with same name to be allowed in different repos…

But in repo #2 I had to use -f option which moved my v0.1.0 of repo #1 🙁

The GitLab docu also states:

In Git, a tag marks an important point >>>in a repository’s <<< history. Git supports two types of tags:

Lightweight tags point to specific commits, and contain no other information. Also known as soft tags. Create or remove them as needed.

PS: In repo #2 doing again “git tag v0.1.0” gives my a
fatal: tag ‘v0.1.0’ already exists