commit | 07c988b2217ac42c7e29cfd321d68c45a4e4b3ef | [log] [tgz] |
---|---|---|
author | Konstantin Ryabitsev <konstantin@linuxfoundation.org> | Wed Dec 16 11:15:59 2020 -0500 |
committer | Konstantin Ryabitsev <konstantin@linuxfoundation.org> | Wed Dec 16 11:15:59 2020 -0500 |
tree | 5d417edd430851fbeb9f04762960fc0def5fb482 | |
parent | 40386e66ce0effbb0d35127b222961c19dee12a1 [diff] |
Recognize merged PRs when attempting auto-base When we come across a pull request that doesn't list its base (i.e. not generated using git-request-pull), we try to figure out the base ourselves by doing merge-base. However, if the pull request is already merged, then that is going to be a useless operation, so recognize this situation and bail out early. Signed-off-by: Konstantin Ryabitsev <konstantin@linuxfoundation.org>