diff options
| author | Florian Klink <flokli@flokli.de> | 2021-04-29T13·22+0200 |
|---|---|---|
| committer | Vincent Ambo <mail@tazj.in> | 2021-04-29T18·23+0200 |
| commit | ee48bd891cbe0c5f7e819787f6ddd39053507cf1 (patch) | |
| tree | 1b85de890c5bf69da337751d6848a8802134866d /tools/nixery/popcount/default.nix | |
| parent | d2767bbe8a7af403e4e252f3fbfe9ec8fa0c5a90 (diff) | |
feat(ci): remove unneeded permissions: read-all
We don't intend to label, authenticate or whatever with the GITHUB_TOKEN, so there's not really a reason to give any broader permissions than the defaults.
Diffstat (limited to 'tools/nixery/popcount/default.nix')
0 files changed, 0 insertions, 0 deletions