it got another review, can it get merged now?
Aww, wish you didn’t have to beg for a merge. Got that one for you.
This is also ready for merge: https://github.com/NixOS/nixpkgs/pull/71302
close (automatically generated and looks broken) - https://github.com/NixOS/nixpkgs/pull/72492
This was already reviewed by someone else and just needs to be merged
Also reviewed by someone else and ready to go:
Open PR (already reviewed) for the hobbes programming environment:
I don’t have merge permissions, but left an additional comment (all dependencies are in
nativeBuildInputs, even non-built-time dependencies).
Already reviewed by somebody else, just needs to be merged:
Addressed your comments on the PR.
These two PRs of mine have been reviewed and sitting around for a while now – can probably be merged
I tested many of the features that the application has and it all seems to work great!
jonringer has already accepted this PR but worldofpeace hasn’t re-reviewed the latest changes. All their requested changes have been applied however so I think it should be fine.
Thank you all for your hard work!
This pull request is reviewd for quite some time.
One of mine.