HACKING: Fix instruction for git pull --rebase