PRs already reviewed

This is also ready for merge: https://github.com/NixOS/nixpkgs/pull/71302

Merge: https://github.com/NixOS/nixpkgs/pull/75166

close (automatically generated and looks broken) - https://github.com/NixOS/nixpkgs/pull/72492

merge - https://github.com/NixOS/nixpkgs/pull/78807

1 Like

merge:

merge - https://github.com/NixOS/nixpkgs/pull/75430

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:

Thanks!

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

Merge: https://github.com/NixOS/nixpkgs/pull/80402

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!

Merge:

This pull request is reviewd for quite some time.

One of mine.
https://github.com/NixOS/nixpkgs/pull/79356

close: https://github.com/NixOS/nixpkgs/pull/24576 (it’s apparently abandoned)

Merge: https://github.com/NixOS/nixpkgs/pull/82094
Merge: https://github.com/NixOS/nixpkgs/pull/81994
Merge: https://github.com/NixOS/nixpkgs/pull/82449

Two from me, both trivial. https://github.com/NixOS/nixpkgs/pulls/zaninime