Skip to content

Remove 🤖 automerge #103739

Closed
Closed
Remove 🤖 automerge#103739
Labels
type-featureA feature request or enhancement

Description

@arhadthedev
arhadthedev
opened on Apr 24, 2023

According to python/core-workflow#498 (comment), the following steps must be done:

  1. CI: Do not allow merge if labelled DO-NOT-MERGE #103337
  2. Enable "Allow automerge" repo option on cpython, devguide, peps and core-workflow
  3. Removed "automerge" label devguide#1082, Document the use of GitHub automerge devguide#1079
  4. This PR is here
  5. Remove automerge stuff miss-islington#610

Since step 5 was implemented before step 3 (and, probably, step 2), we cannot postpone removal of the https://github.com/python/cpython/labels/%3Arobot%3A%20automerge. Otherwise, core developers will continue to apply no longer working label.

Activity

  1. arhadthedev
    added
    type-featureA feature request or enhancement
    on Apr 24, 2023
  2. arhadthedev
    changed the title [-]Remove <kbd>🤖 automerge</kbd>[/-] [+]Remove `🤖 automerge`[/+] on Apr 24, 2023

  3. sobolevn commented on Apr 24, 2023

    @sobolevn
    sobolevn
    on Apr 24, 2023
    Member

    сс @ezio-melotti

  4. hugovk commented on Apr 24, 2023

    @hugovk
    hugovk
    on Apr 24, 2023
    Member

    Since step 5 was implemented before step 3 (and, probably, step 2),

    Step 5 was merged on Thursday and step 2 was enabled on Wednesday. Sorry we didn't post about it in the issue.

    Anyway, yes, let's remove the label now.

  5. hugovk commented on Apr 24, 2023

    @hugovk
    hugovk
    on Apr 24, 2023
    Member

    And I have permissions to delete labels, so have deleted it. 🗑️

  6. hugovk
    closed this as completedon Apr 24, 2023

  7. arhadthedev commented on Apr 24, 2023

    @arhadthedev
    arhadthedev
    on Apr 24, 2023
    MemberAuthor

    For backup purposes: the label looked like this:

    Because after I closed the tab, it's gone.

  8. ezio-melotti
    added this to CPython labelson Apr 24, 2023
  9. github-project-automation
    moved this to Todo in CPython labelson Apr 24, 2023
  10. hugovk
    moved this from Todo to Done in CPython labelson Apr 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    type-featureA feature request or enhancement

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions