Test case for bug in GitHub Pull Requests