Skip to content

Add changelog checker for PRs #290

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

Merged
merged 1 commit into from
Jul 29, 2021
Merged

Conversation

eldruin
Copy link
Member

@eldruin eldruin commented Jun 30, 2021

A bit ironic that adding the checker requires deactivating it, haha

@eldruin eldruin requested a review from a team as a code owner June 30, 2021 07:58
@rust-highfive
Copy link

r? @ryankurte

(rust-highfive has picked a reviewer for you, use r? to override)

@eldruin
Copy link
Member Author

eldruin commented Jul 9, 2021

bors try

bors bot added a commit that referenced this pull request Jul 9, 2021
@eldruin eldruin force-pushed the changelog-checker branch 2 times, most recently from 1db62fa to 74ddbb5 Compare July 9, 2021 07:11
@rust-embedded rust-embedded deleted a comment from bors bot Jul 9, 2021
@eldruin
Copy link
Member Author

eldruin commented Jul 9, 2021

Alright, now it works
bors try

@bors
Copy link
Contributor

bors bot commented Jul 9, 2021

try

Already running a review

@eldruin eldruin force-pushed the changelog-checker branch from 74ddbb5 to b139fe9 Compare July 9, 2021 07:19
therealprof
therealprof previously approved these changes Jul 13, 2021
Copy link
Contributor

@therealprof therealprof 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 Jul 13, 2021
290: Add changelog checker for PRs r=therealprof a=eldruin

A bit ironic that adding the checker requires deactivating it, haha

Co-authored-by: Diego Barrios Romero <[email protected]>
@bors
Copy link
Contributor

bors bot commented Jul 13, 2021

try

Timed out.

@eldruin
Copy link
Member Author

eldruin commented Jul 13, 2021

Ah, it seems the changelog checker does not work well with bors since deactivating the changelog check for a PR does not generate any output at all for it in the status and thus bors waits forever for it.
Closing.

@eldruin eldruin closed this Jul 13, 2021
@adamgreig
Copy link
Member

I think you just don't make bors require it, but it can still run for PRs to remind people to add a changelog.

@bors
Copy link
Contributor

bors bot commented Jul 13, 2021

Timed out.

@eldruin
Copy link
Member Author

eldruin commented Jul 13, 2021

@adamgreig Thanks for the idea. That would be possible, yes. Not great but I guess better than nothing.
Opinions @rust-embedded/hal?

@eldruin eldruin reopened this Jul 13, 2021
@therealprof
Copy link
Contributor

bors r+

@bors
Copy link
Contributor

bors bot commented Jul 29, 2021

👎 Rejected by too few approved reviews

Copy link
Contributor

@therealprof therealprof 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
Copy link
Contributor

bors bot commented Jul 29, 2021

@bors bors bot merged commit bbdd217 into rust-embedded:master Jul 29, 2021
@eldruin eldruin deleted the changelog-checker branch July 30, 2021 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants