Skip to content

[Dev] Use merge button instead of merge script #55475

Open

Description

@raulcd

Describe the enhancement requested

During the years I've heard committers complaining about not being able to use the merge button on GH, we could automate some of the things the merge script does and we could just use the merge button instead of requiring everyone to use a GH token.

Today the script:

  • Sets the milestone
  • Closes the issue
  • Builds the squash commit message
  • Performs sanity checks like title and components

If the commit message changes (Signed-off-by: is removed) we probably would have to change the post-04-website.sh to count mergers from the GitHub API instead of commit trailers.

Component(s)

Developer Tools

Activity

  1. thisisnic commented on Nov 10, 2026

    @thisisnic
    Member

    +1 to this and potentially simplifying things.

  2. pitrou commented on Nov 10, 2026

    @pitrou
    Member

    Ideally this would also assign the issue to the PR author.

  3. added a commit that references this issue on Nov 10, 2026
  4. added 8 commits that reference this issue on Nov 10, 2026
  5. kou commented on Nov 11, 2026

    @kou
    Member

    +1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions