mirror of
https://github.com/CHN-beta/nixpkgs.git
synced 2026-01-12 02:40:31 +08:00
This is currently managed with yet another bot, but we don't need to -
this fits into our workflow nicely.
(cherry picked from commit 28f3b92403)