No description
ee48bd891c
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. |
||
---|---|---|
tools/nixery |