Hi, Gabriel Wicki <[email protected]> writes:
> hi > > i think it would be awesome to tag PRs from committers who need input > from others but can and will push themselves. We can already approximate this, I think, by filtering by date. If something is older or nearly 2 weeks old and not tagged with moreinfo, chances are the author will merge it soon (if they have commit access). I don't think new tags would help much in that regard; all the issues are already visible for everyone to see/review, and most of them in need of a reviewer. So I think what we most need is more people participating in reviews and joining or creating new teams to improve the coverage of submissions. Note that for simple changes (e.g., a simple version bump that doesn't break anything), it's fine to push without a review, per the "trivial/obvious" exception hinted at in (info "(guix) Managing Patches and Branches"). -- Thanks, Maxim
