HARI MAHADEVAN (何瑞理)

Some useful, but rarely used and hence easy to forget git commands. Recording these here as a note to myself. Purpose Command Delete a Remote Tag git push --delete origin <tagname> Filenames diff between two commits git diff commit commit2 --stat List all tags, sorted by name, in reverse git tag -l --sort="-v:refname"

This is not really a post and more of a web clipping for my own future reference. This page contains useful instructions on how to setup a shared repository with Git. I use it to back up by work on to a thumbdrive. You might wonder why am I not using one of the free services such as GitHub or BitBucket. Answer is simple -- the code is closed source. From my research most of the online Git services only provide free hosting for open source code. May be there is a provider out there who does offer true free hosting for closed source, but I don't have the time to pour through their licence agreement and ensure that free is really free without any catches. Hence the decision to store things locally. In any case Git makes it so easy to set things up.