Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Change command to /merge #8

Closed
Tracked by #7
Bullrich opened this issue Sep 27, 2023 · 0 comments · Fixed by #9
Closed
Tracked by #7

Change command to /merge #8

Bullrich opened this issue Sep 27, 2023 · 0 comments · Fixed by #9
Assignees
@Bullrich
Milestone
Version 1.0.0

Comments

@Bullrich
Copy link
Contributor

New commands will be:

  • /merge
  • /merge cancel
  • /merge help
@Bullrich Bullrich added this to the Version 1.0.0 milestone Sep 27, 2023
@Bullrich Bullrich self-assigned this Sep 27, 2023
This was referenced Sep 27, 2023
Closed
Merged
Merged
@Bullrich Bullrich linked a pull request Sep 28, 2023 that will close this issue
Changed /bot command to /merge #9
Merged
Bullrich added a commit that referenced this issue Sep 28, 2023
@Bullrich
Changed /bot command to /merge (#9)
0127354 
Changed command to /merge

New commands are:
- `/merge`: Enables auto-merge for Pull Request
- `/merge cancel`: Cancels auto-merge for Pull Request
- `/merge help`: Shows this menu

This resolves #8
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Bullrich Bullrich

Labels
None yet
Projects
None yet
Milestone
Version 1.0.0
Development

Successfully merging a pull request may close this issue.

Changed /bot command to /merge paritytech/auto-merge-bot
1 participant
@Bullrich