Both an improvement and a fix:
- push only the created tag instead of all local tags
- fix a strange issue making the tag being ignored
=> it seems the remote name is now (since a Git upgrade?) required in some undefined cases.
Anyway, using explicit "git push origin release-5.6.0-HF31" instead is fixing the issue and a good improvement already applied in 5.9.1 (