During pair programming with my colleague Michal Těhník I watched him using git. Here are few things I learned from him. Use git number Git number allows you to use numbers instead of file names. If you for example need to diff some file, or add it to commit, you no longer have to copy …