issues Search Results · repo:github/emergency-pull-request-probot-app language:JavaScript

Filter by

• • Code... (...)results
  • Issues1 (1)results
  • Pull requests174 (174)results
  • Discussions0 (0)results
  • Commits0 (0)results
  • Packages1 (1)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues1 (1)

1 result

 (46 ms)

1 result

ingithub/emergency-pull-request-probot-app (press backspace or delete to remove)

Sort by: Best match

Filter

github/emergency-pull-request-probot-app

support merge_method options

Merges will fail if the repo is configured to disallow merge commits for PRs. Add an option to configure the merge_method to be used for merging. https://docs.github.com/en/rest/pulls/pulls#merge-a-pull-request ...

• robandpdx
·
• Opened 
  on Sep 6, 2022
·
• #13

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Press the

/

key to activate the search input again and adjust your query.

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues

ProTip! 

Restrict your search to the title by using the in:title qualifier.