Keeping track of all the cool features I use (and I tend to forget) of git.
My office is the number 141, west corridor of the Povo 2 building (first floor). If you want to come to my office, please write me a mail first.
Office hours: 14.00 to 16.00 on Monday. Office P 1.04, on mail appointment.