Skip to content

feat: comment when auto merge/hardreset fails #231

Open
#665
Open
feat: comment when auto merge/hardreset fails#231
#665
Labels
enhancementNew feature or request

Description

@wei
wei
opened on Aug 22, 2020

Currently GitHub returns an error when Pull tries to merge into a protected branch. The PR will just stay open ready to be manually merged.

An improvement will be commenting on the PR when this happens.

Activity

  1. wei
    added
    enhancementNew feature or request
    on Aug 22, 2020
  2. wei
    changed the title [-]feat: comment when the base branch is a protected branch[/-] on Aug 22, 2020
  3. Repository owner deleted a comment from on Sep 11, 2020

  4. wei commented on Sep 15, 2020

    @wei
    wei
    on Sep 15, 2020
    OwnerAuthor

    One reason PRs fail to be merged automatically is due to changes in .github/workflows files (GitHub Apps do not have write access to it)

  5. jefferycline1 commented on Jan 4, 2022

    @jefferycline1
    jefferycline1
    on Jan 4, 2022

    😀

  6. wei
    assigned
    joshiayush
    and unassigned
    joshiayush
    on Jan 16, 2022
  7. Repository owner deleted a comment from on Feb 17, 2022
  8. Repository owner deleted a comment from ddelange on Nov 19, 2024
  9. Repository owner deleted a comment from ddelange on Nov 19, 2024
  10. Repository owner deleted a comment from joshiayush on Nov 19, 2024
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

    enhancementNew feature or request

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions