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.

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

When requesting the most recent command, exclude retry #588

Merged
merged 1 commit into from Jan 31, 2019

Conversation

Projects
None yet
1 participant
@notriddle
Copy link
Member

notriddle commented Jan 30, 2019

Otherwise, retrying a retry will cause an infinite loop, either:

Resolves https://forum.bors.tech/t/bors-sometimes-doesnt-see-retry-messages-until-a-ping/278

@notriddle

This comment has been minimized.

Copy link
Member Author

notriddle commented Jan 31, 2019

bors r+

bors bot added a commit that referenced this pull request Jan 31, 2019

Merge #588
588: When requesting the most recent command, exclude retry r=notriddle a=notriddle

Otherwise, retrying a retry will cause an infinite loop, either:

Resolves https://forum.bors.tech/t/bors-sometimes-doesnt-see-retry-messages-until-a-ping/278

Co-authored-by: Michael Howell <michael@notriddle.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Jan 31, 2019

Build succeeded

@bors bors bot merged commit 1fb46cb into master Jan 31, 2019

2 checks passed

Taskcluster (pull_request) TaskGroup: success
Details
bors Build succeeded
Details

@notriddle notriddle deleted the retry-doubling branch Jan 31, 2019

notriddle added a commit to bors-ng/bors-ng.github.io that referenced this pull request Feb 1, 2019

Add bors-ng/bors-ng#588
Add month summary
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment