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.

Sign up for GitHub

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

Jump to bottom

Setup Bors #217

Merged
merged 1 commit into from
Apr 3, 2019
Merged

Setup Bors #217

merged 1 commit into from
Apr 3, 2019

Conversation

nbraud
Copy link
Contributor

@nbraud nbraud commented Mar 28, 2019

Implicitly depends on #216 (Bors is configured to check Cirrus CI's status)

@pathunstrom
Copy link
Collaborator

bors try

1 similar comment
@pathunstrom
Copy link
Collaborator

bors try

bors bot added a commit that referenced this pull request Apr 2, 2019
@bors
Try #217:
63384c8
@nbraud nbraud requested a review from a team as a code owner April 2, 2019 22:37
@nbraud
Copy link
Contributor Author

nbraud commented Apr 2, 2019

bors try

@bors
Copy link
Contributor

bors bot commented Apr 2, 2019

🔒 Permission denied

Existing reviewers: click here to make nbraud a reviewer

@nbraud
Copy link
Contributor Author

nbraud commented Apr 2, 2019 •
edited
Loading

@pathunstrom I had forgotten to remove the FreeBSD tasks from the list of required status checks, so Bors was waiting for that...

Re: permissions, by default only the people with write access to the repo can submit commands to Bors (and I'm in @ppb/developers, which doesn't have write access)

@nbraud
Copy link
Contributor Author

nbraud commented Apr 2, 2019 •
edited
Loading

Also, I meant to ask, do we want to make Bors delete PR branches after merge, if they happen to be directly in the ppb/pursuedpybear repo? That way, we can't forget to clean those up.
We just need to set delete_merged_branches.

@bors
Copy link
Contributor

bors bot commented Apr 2, 2019

try

Timed out

@pathunstrom
Copy link
Collaborator

I like that idea.

@pathunstrom
Copy link
Collaborator

bors r+

bors bot added a commit that referenced this pull request Apr 2, 2019
@bors @nbraud
Merge #217
d85944e 
217: Setup Bors r=pathunstrom a=nbraud

Implicitly depends on #216 (Bors is configured to check Cirrus CI's status)

Co-authored-by: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
@bors
Copy link
Contributor

bors bot commented Apr 3, 2019

Build succeeded

  • docs
  • Linux container:python:3.6-slim
  • Linux container:python:3.7-slim
  • macOS PYTHON:3.6.8
  • macOS PYTHON:3.7.2
  • Windows container:python:3.6-windowsservercore-1809
  • Windows container:python:3.7-windowsservercore-1809

@bors bors bot merged commit 3abd673 into ppb:master Apr 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nbraud @pathunstrom