Don't need gr5 and gr10 anymore

In recent versions of git, `git rebase -i` rebases everything unpushed.
That's all I need, really.