Integrated: 2150: Allow pull requests to have the title "Merge"
Erik Duveblad
ehelin at openjdk.org
Fri Jan 19 09:55:28 UTC 2024
On Thu, 18 Jan 2024 09:26:14 GMT, Erik Duveblad <ehelin at openjdk.org> wrote:
> Hi all,
>
> please review this patch that allow "merge style" pull requests to have just the title "Merge". If the title is just "Merge" then the bots will rewrite the title to `Merge <HEAD>` where `<HEAD>` is the HEAD of the pull request source branch. This is useful if the integrator knows that they want the HEAD of the pull request source branch as the second parent for the resulting merge commit (this removes the need to manually specify the HEAD hash in the PR title).
>
> ### Testing
> - [x] Added a new unit test
>
> Thanks,
> Erik
This pull request has now been integrated.
Changeset: 512311b1
Author: Erik Duveblad <ehelin at openjdk.org>
URL: https://git.openjdk.org/skara/commit/512311b1f148c09bfb63155c9e9c226d55a38427
Stats: 70 lines in 2 files changed: 70 ins; 0 del; 0 mod
2150: Allow pull requests to have the title "Merge"
Reviewed-by: erikj, zsong
-------------
PR: https://git.openjdk.org/skara/pull/1602
More information about the skara-dev
mailing list