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

Add `bors retry` #402

Merged
merged 5 commits into from Apr 13, 2018

Conversation

Projects
None yet
1 participant
@notriddle
Member

notriddle commented Apr 12, 2018

Fixes #251

notriddle added some commits Apr 12, 2018

Add a command logging table
This will be used to implement "bors retry",
as well as to add better accounting to the History page.

@notriddle notriddle force-pushed the notriddle:bors-retry branch from 14eeb3b to d1d9e27 Apr 12, 2018

@notriddle notriddle force-pushed the notriddle:bors-retry branch from d1d9e27 to c4743df Apr 13, 2018

@notriddle

This comment has been minimized.

Member

notriddle commented Apr 13, 2018

bors r+

bors bot added a commit that referenced this pull request Apr 13, 2018

Merge #402
402: Add `bors retry` r=notriddle a=notriddle

Fixes #251

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

This comment has been minimized.

Member

notriddle commented Apr 13, 2018

bors r-

@bors

This comment has been minimized.

Contributor

bors bot commented Apr 13, 2018

Canceled

@notriddle

This comment has been minimized.

Member

notriddle commented Apr 13, 2018

bors bot added a commit that referenced this pull request Apr 13, 2018

Merge #402
402: Add `bors retry` r=notriddle a=notriddle

Fixes #251

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

This comment has been minimized.

Contributor

bors bot commented Apr 13, 2018

@bors bors bot merged commit c4743df into bors-ng:master Apr 13, 2018

3 checks passed

Taskcluster (pull_request) TaskGroup: success
Details
bors Build succeeded
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details

@notriddle notriddle deleted the notriddle:bors-retry branch Apr 13, 2018

notriddle added a commit to bors-ng/bors-ng.github.io that referenced this pull request Apr 13, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment