pinkforest(she/her)

That would require querying GH one per commit generation for those but I guess there isn't too many of those that would break the rate limit as was the reason...

I'll also try to finish the impact analysis during the weekend off curiosity - just needs some regular expression on bors messages and comparing them to commit history I just...

Raised #178 for suspected general WebHook delivery instability which addressing commit mixups alone would not fix (this ticket)

Explaining these things separately is just setting people to fail - contributors don't like failing. It's a bit like google way of not blaming the people but the tools instead...

Requiring people not to force push is tbh asking too much - People work in different ways and any deviation out of ordinary is just friction. In the end it's...

:) @thomaseizinger and @mxinden you owe me a :tropical_drink: for this .. :ship: PR #2817 You _could_ just continue with sodiumoxide as it's only in testing purposes... But yeah there...

Oh that was just github's catch-up rebase, didn't want to bother with merge from main commits noise - but noted thanks :) p.s. needs CONTRIBUTING.md :woman_shrugging: EDIT: p.p.s. a CONTRIBUTING.md...

multiple-versions - I didn't get any warnings but there are some weird SemVer stuff that sometimes it's impossible to deal with so it's best to leave as warn - reality...

I just switched the PR to be different flow with deny from periodic one that uses audit The periodic will catch any advisories and beep about them as usual and...

Audit is for the advisories on scanning periodically. Deny is for the PR scanning which includes license checks. As you can see other is on PR / push and the...