Or tagging skipped if it is the same commit? Or tagging before and pushing tag after
Or tagging skipped if it is the same commit?
Or tagging before and pushing tag after