Skip to content
This repository was archived by the owner on Dec 2, 2020. It is now read-only.

Conversation

@adamgreig
Copy link
Member

I'll archive this repository after this PR merges.

@rust-highfive
Copy link

r? @thalesfragoso

(rust_highfive has picked a reviewer for you, use r? to override)

Copy link
Contributor

@jonas-schievink jonas-schievink left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

bors r+

bors bot added a commit that referenced this pull request Oct 15, 2020
59: Add note about repository move to README r=jonas-schievink a=adamgreig

I'll archive this repository after this PR merges.

Co-authored-by: Adam Greig <adam@adamgreig.com>
@bors
Copy link
Contributor

bors bot commented Oct 15, 2020

Build failed:

@jonas-schievink jonas-schievink mentioned this pull request Nov 10, 2020
bors bot added a commit that referenced this pull request Nov 10, 2020
60: Stub out CI r=thalesfragoso a=jonas-schievink

Unblocks #59

Co-authored-by: Jonas Schievink <jonasschievink@gmail.com>
@thalesfragoso
Copy link
Member

bors retry

@bors
Copy link
Contributor

bors bot commented Nov 10, 2020

Build succeeded:

@bors bors bot merged commit 88421cf into master Nov 10, 2020
@bors bors bot deleted the archive branch November 10, 2020 22:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants