After getting confused by what exactly tagging is, heres a simple foolproof-way to doing tagging for iP.
# this is the commit that implements Level-1
git commit -m "{commit message}"
git tag -a Level-1 -m "{Message or comment for the tag, e.g. Implement Rename, Greet, Exit}"
# renaming a commit BEFORE PUSHING
git commit --amend
git push
git push --tags # this uplaods the tags to GitHub
Hope this help those who are lost with what are tags exactly.
There is a command to see the associated tag.
ip> git show level-1
tag Level-1
Tagger: [Snipped]
Date: Mon Jan 22 18:00:00 2024 +0800
Echo and bye function
commit 85e9b72e761065[snipped] (tag: Level-1)
Author: [snipped] <>
Date: Mon Jan 22 18:00:00 2024 +0800
Level-1 Set up echo function