PRs already reviewed

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

merge: portfolio: 0.48.1 -> 0.49.0 by oyren · Pull Request #101746 · NixOS/nixpkgs · GitHub

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

Approving but not merging:

vimPlugins: vim-airline-clock init at 2018-05-08 by Vonfry · Pull Request #91567 · NixOS/nixpkgs · GitHub