PRs already reviewed

https://github.com/NixOS/nixpkgs/pull/92666

These two should be ready, first might need a backport to 20.09:

https://github.com/NixOS/nixpkgs/pull/98084

https://github.com/NixOS/nixpkgs/pull/99704

Merge: vscode/vscodium: split update scripts by samuela · Pull Request #97938 · NixOS/nixpkgs · GitHub. approved by vscode maintainers.

Could use someone else’s opinion on the let’d library derivations at most, otherwise LGTM.

https://github.com/NixOS/nixpkgs/pull/99572

Merge: agda-packages: add functional-linear-algebra library at v0.1 by ryanorendorff · Pull Request #100466 · NixOS/nixpkgs · GitHub

Merge: Bump VSCode version by turion · Pull Request #98088 · NixOS/nixpkgs · GitHub

merge: dafny: pin z3 and Boogie version by layus · Pull Request #81608 · NixOS/nixpkgs · GitHub

merge:
~~https://github.com/NixOS/nixpkgs/pull/100452~~

~~merge: https://github.com/NixOS/nixpkgs/pull/101286~~

~~merge: https://github.com/NixOS/nixpkgs/pull/101113~~

~~merge: https://github.com/NixOS/nixpkgs/pull/95320~~
done

done:
https://github.com/NixOS/nixpkgs/pull/101222

Merge: agdaPackages.standard-library: 1.3 -> 1.4 by turion · Pull Request #98199 · NixOS/nixpkgs · GitHub

merge:
https://github.com/NixOS/nixpkgs/pull/98748

merge: brave: 1.12.112 -> 1.15.76 by buckley310 · Pull Request #100685 · NixOS/nixpkgs · GitHub

merge: amfora: Add desktop file by pniedzwiedzinski · Pull Request #100294 · NixOS/nixpkgs · GitHub

merge: barrier: 2.3.2 -> 2.3.3 by jb55 · Pull Request #99494 · NixOS/nixpkgs · GitHub

TIL about this thread, there’s a few ready for merge PRs I’ve reviewed recently:

Virtualbox is a different beast. Maybe pinging the original maintainers will be necessary.

https://github.com/NixOS/nixpkgs/pull/100048