[ HACKING ] Refined git instructions to merge bugfixes.