diff options
| author | Konstantin Ryabitsev <konstantin@linuxfoundation.org> | 2020-12-16 11:15:59 -0500 |
|---|---|---|
| committer | Konstantin Ryabitsev <konstantin@linuxfoundation.org> | 2020-12-16 11:15:59 -0500 |
| commit | 07c988b2217ac42c7e29cfd321d68c45a4e4b3ef (patch) | |
| tree | 5d417edd430851fbeb9f04762960fc0def5fb482 /man/b4.5 | |
| parent | 40386e66ce0effbb0d35127b222961c19dee12a1 (diff) | |
| download | b4-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 'man/b4.5')
0 files changed, 0 insertions, 0 deletions