My hacks for TopGit - A different patch queue manager