Seems I not found a way to update the ‘upstream’ master of PlayScript without actually push the tag directly to the repo.

So first I de-reference the tags to get the matching commit SHA for the tag I need to push:

git show-ref --tags --dereference | grep play
9e82533b52d5be2f10f8c0ddacff848810b8d736 refs/tags/play-3.10.0001
a317c758ea3136347c4bc2a360c34fbacfce6d34 refs/tags/play-3.2.7
a317c758ea3136347c4bc2a360c34fbacfce6d34 refs/tags/play-3.2.7001
e97e27071414fdafba9ce95d4b7ca6c0c6da2a3c refs/tags/play-3.4.1001
cfc55b6a587eba190042045e1a686388923310b0 refs/tags/play-3.6.1001
b509d6711135bfba5b32cf3f7e2090964c67daa0 refs/tags/play-3.8.1001

That is done on my fork of the PlayScript repo as I try to never work directly on the ‘upstream’ master.

So in the case of tag “play-3.10.0001” that is not in the upstream PlayScript repo, I need to add it to the repo.

I switch the PlayScriptRedux org’s PlayScript repo that I have a local clone of and update it.

First pull the latest changes, all done through pull-requests:

git pull origin playscript

Now I can add the new tag:

git tag play-3.10.0001 9e82533b52d5be2f10f8c0ddacff848810b8d736

And finally push it to the repo:

git push origin play-3.10.0001

Total 0 (delta 0), reused 0 (delta 0)
To https://github.com/PlayScriptRedux/playscript.git
 * [new tag]         play-3.10.0001 -> play-3.10.0001

I still want to know if this is available through pull-requests somehow.