git push changes local tags

Hi,

I have a repo with the following in the config

remote "Skeleton"]
        url = /<something>/Skeleton/Main.skeleton.git
        push = +refs/heads/*:refs/remotes/ET-LE/*
        push = refs/tags/*:refs/tags/ET-LE/*

This may look a bit unusual, but it has a ratio:

I have a skeleton repo. Whenever something is taken from there and modified, I like to have it pushed back so that the changes can be evaluated and possibly incorporated in the skeleton.

The problem is with tags.

If I do not add the push entry for the tags, the local tags pollute the Skeleton repo in case they are pushed.

Say someone has a local repo with tag ONE and he pushes to skeleton. The tag ONE is pushed into the Skeleton possibly overwriting some already existing tag named ONE there.

If I do add the push entry for the tags, whenever I push an unwanted tag appears locally.

Say, that I have locally the tag ONE, when I push I _locally_ get the tag ET-LE/ONE that is clearly unwanted, because when I push again I get ET-LE/ET-LE/ONE and so on.

Any idea?

Sergio