Skip to content

Allow all Nixpkgs committers to call the bot#43

Merged
grahamc merged 2 commits intoreleasedfrom build-permissionsJan 27, 2018

Commits

Commits on Jan 27, 2018