HACKING: add more explicit git branch/tag instructions