[Reverted] First-class GitHub team reviews#456341
Conversation
Co-Authored-By: Alexander Bantyev <[email protected]>
|
Great job on this, been meaning to do this but got sidetracked. |
This comment was marked as outdated.
This comment was marked as outdated.
|
I think this merge was way too quick. We didn't go through a round of review on this. This introduces new Bash code against our policy. Revert in #456391, @infinisil please open it again, so that we can properly discuss it. |
|
We should encourage quick merges, but yeah 4 hours is perhaps a bit too quick :P But @wolfgangwalther, the policy states
This is for all intents and purposes not a new CI feature. All the scripts in the PR exist already and are just extended and refactored. I don't mind writing new JS, but I do mind rewriting working bash in JS. |
The discussion in #453985 (comment) explicitly mentioned such a case, so yes "significantly expanding scope of an existing bash script" is considered a feature. Now, I have not looked at the actual changes here at all, the timing alone was reason enough for a revert. But at first glance they looked like a significant review effort, which was another big reason against introducing new bash code given in #453985 (comment). I certainly don't want to push rewriting the reviewer scripts in JavaScript onto you. I have that on my list, and will do it as part of a new feature I have in mind. But this might not play with your timeline. Edit: To be clear - I suggest you re-open the existing PR right now, because I assume we can discuss details about the actual logic, the nix code etc., all without even looking at the bash code right now. This might not mean we immediately merge, but we will certainly be able to progress this topic further. |
Note
This one was reverted in #456391
New PR: #456481
This changes automation to request reviews from listed GitHub teams instead of their individual members when possible, allowing the team maintainers to make use of GitHub's advanced code review settings and making the
team-review-requested:NixOS/someTeamPR filter more useful.This applies for:
lib.teamsthat are listed as a package maintainer using the newmeta.teams(thanks to check-meta: add a teams attribute #394797), withlib.teams.*.githubbeing set to the matching GitHub team:ci/OWNERS:This pretty much implements #447514 after the preparatory work of #449986 and #450864.
Things done
Add a 👍 reaction to pull requests you find important.