Skip to content

MAINTAINING.md: add some notes on Bors #19329

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
Merged
merged 1 commit into from
Feb 28, 2023
Merged

MAINTAINING.md: add some notes on Bors #19329

merged 1 commit into from
Feb 28, 2023

Conversation

benpicco
Copy link
Contributor

Contribution description

Add some tips & tricks for the quirks & features of Bors.

Testing procedure

Read the document.

Issues/PRs references

@benpicco benpicco requested a review from jia200x as a code owner February 27, 2023 16:30
@benpicco benpicco requested review from kaspar030 and maribu February 27, 2023 16:30
@github-actions github-actions bot added the Area: doc Area: Documentation label Feb 27, 2023
@benpicco benpicco requested a review from aabadie February 27, 2023 16:31
@benpicco benpicco added the CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs label Feb 27, 2023
@benpicco benpicco requested a review from miri64 February 27, 2023 16:46
@benpicco
Copy link
Contributor Author

bors merge

@bors
Copy link
Contributor

bors bot commented Feb 27, 2023

🕐 Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@benpicco benpicco added the CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR label Feb 27, 2023
@riot-ci
Copy link

riot-ci commented Feb 27, 2023

Murdock results

✔️ PASSED

f5bd530 MAINTAINING.md: add some notes on Bors

Success Failures Total Runtime
1 0 1 53s

Artifacts

@bors
Copy link
Contributor

bors bot commented Feb 28, 2023

Build succeeded:

@bors bors bot merged commit 302a809 into RIOT-OS:master Feb 28, 2023
@benpicco benpicco deleted the MAINTAINING.md-bors branch February 28, 2023 00:12
@MrKevinWeiss MrKevinWeiss added this to the Release 2023.04 milestone Apr 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maribu maribu maribu approved these changes

@jia200x jia200x Awaiting requested review from jia200x jia200x is a code owner

@kaspar030 kaspar030 Awaiting requested review from kaspar030

@aabadie aabadie Awaiting requested review from aabadie

@miri64 miri64 Awaiting requested review from miri64

Assignees
No one assigned
Labels
Area: doc Area: Documentation CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs
Projects
None yet
Milestone
Release 2023.04
Development

Successfully merging this pull request may close these issues.
4 participants
@benpicco @riot-ci @maribu @MrKevinWeiss