GitHub doesn't return merge commits when searching by changed file path,
so our previous logic was finding the human-authored commit rather than
the bors merge commit. New logic looks for the first bors commit which
has the last human commit changing src/version, which should hopefully
work here.
GitHub doesn't return merge commits when searching by changed file path, so our previous logic was finding the human-authored commit rather than the bors merge commit. New logic looks for the first bors commit which has the last human commit changing src/version, which should hopefully work here.
Fixes #49