aboutsummaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorKonstantin Ryabitsev <konstantin@linuxfoundation.org>2020-12-16 11:15:59 -0500
committerKonstantin Ryabitsev <konstantin@linuxfoundation.org>2020-12-16 11:15:59 -0500
commit07c988b2217ac42c7e29cfd321d68c45a4e4b3ef (patch)
tree5d417edd430851fbeb9f04762960fc0def5fb482 /COPYING
parent40386e66ce0effbb0d35127b222961c19dee12a1 (diff)
downloadb4-07c988b2217ac42c7e29cfd321d68c45a4e4b3ef.tar.gz
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>
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions