Nice simple examples of git tagging