git tag checkout syntax (most proper)