Adding an option to also push tags if the merge is pushed back or a branch is being pushed (requires a modified git-client-plugin!)