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.

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

Typo: repeated `the` #793

Merged
merged 1 commit into from Nov 9, 2019
Merged

Typo: repeated `the` #793

merged 1 commit into from Nov 9, 2019

Conversation

@ReinierMaas
Copy link
Contributor

ReinierMaas commented Nov 8, 2019

No description provided.

Copy link
Member

notriddle left a comment

bors r+

bors bot added a commit that referenced this pull request Nov 8, 2019
Merge #793
793: Typo: repeated `the` r=notriddle a=ReinierMaas



Co-authored-by: Reinier Maas <reiniermaas@users.noreply.github.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 8, 2019

Timed out

@notriddle

This comment has been minimized.

Copy link
Member

notriddle commented Nov 8, 2019

bors r+

bors bot added a commit that referenced this pull request Nov 8, 2019
Merge #793
793: Typo: repeated `the` r=notriddle a=ReinierMaas



Co-authored-by: Reinier Maas <reiniermaas@users.noreply.github.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 8, 2019

Timed out

@notriddle

This comment has been minimized.

Copy link
Member

notriddle commented Nov 9, 2019

bors r+

This time, trying it with an increased timeout.

bors bot added a commit that referenced this pull request Nov 9, 2019
Merge #793
793: Typo: repeated `the` r=notriddle a=ReinierMaas



Co-authored-by: Reinier Maas <reiniermaas@users.noreply.github.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 9, 2019

Timed out

@notriddle

This comment has been minimized.

Copy link
Member

notriddle commented Nov 9, 2019

Now I know what happened. TaskCluster changed their context name.

bors retry

bors bot added a commit that referenced this pull request Nov 9, 2019
Merge #793
793: Typo: repeated `the` r=notriddle a=ReinierMaas



Co-authored-by: Reinier Maas <reiniermaas@users.noreply.github.com>
@bors

This comment has been minimized.

Copy link
Contributor

bors bot commented Nov 9, 2019

Build succeeded

@bors bors bot merged commit 386030c into bors-ng:master Nov 9, 2019
3 checks passed
3 checks passed
Community-TC (pull_request) TaskGroup: success
Details
Travis CI - Pull Request Build Passed
Details
bors Build succeeded
Details
@ReinierMaas ReinierMaas deleted the ReinierMaas:patch-1 branch Nov 9, 2019
@ReinierMaas

This comment has been minimized.

Copy link
Contributor Author

ReinierMaas commented Nov 9, 2019

Updating the documentation was harder then anticipated.

notriddle added a commit to bors-ng/bors-ng.github.io that referenced this pull request Dec 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.