Test case where GitHub behaves correctly

As of this PR creation time, `successful_test_case-pull_request_from` is 2 commits ahead of `successful_test_case-pull_request_into`.