I'm not sure what I'm missing, but when I run ./dev/merge_pr.sh on a new computer, I am prompted for my github username and even when I enter that, the merge fails. I'm using the same id_rsa key on the new computer. I've also tried setting the github oauth token in an environment variable as per the instructions on the wiki.
I'm sure I'm missing something obvious but could use some help. Thanks, Andy.
