Add some useful git commands to the HACKING file.