Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Add a way to cancel a pull request #25

Closed
notriddle opened this issue Jan 9, 2017 · 0 comments
Closed

Add a way to cancel a pull request #25

notriddle opened this issue Jan 9, 2017 · 0 comments

Comments

@notriddle
Copy link
Member

This should probably be triggered by bors r-, and it should be automatically triggered if new commit(s) are pushed to a pull request after it has been queued up.

If a pull request is canceled while it is running, it should be cut out of the batch it is running in, and the batch should be restarted.
@notriddle notriddle mentioned this issue Jan 18, 2017
Closed
notriddle added a commit to notriddle/bors-ng that referenced this issue Jan 19, 2017
@notriddle
Add the ability to cancel a commit with bors r-
da56434 
Fixes bors-ng#25
notriddle added a commit to notriddle/bors-ng that referenced this issue Jan 19, 2017
@notriddle
Add the ability to cancel a commit with bors r-
6a3c80b 
Fixes bors-ng#25
notriddle added a commit to notriddle/bors-ng that referenced this issue Jan 19, 2017
@notriddle
Add the ability to cancel a commit with bors r-
0b17746 
Fixes bors-ng#25
notriddle added a commit to notriddle/bors-ng that referenced this issue Jan 19, 2017
@notriddle
Add the ability to cancel a commit with bors r-
8226d4d 
Fixes bors-ng#25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@notriddle