diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-11-16 23:58:43 +0100 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-11-17 14:05:20 +0100 |
commit | ed99ffd02eb107f5cd289c5c13175a8480c81f67 (patch) | |
tree | 4eeb8fe0ac50a543b270b7328602a9fb2dcd1c8d /.github | |
parent | 6331d957a8ffc39a10323273192210ffab9ff9db (diff) | |
download | pylint-git-ed99ffd02eb107f5cd289c5c13175a8480c81f67.tar.gz |
[github actions] Set write permission for backport workflow
We also gave default write permissions for all jobs in the settings.
The permissions were explicitely defined in each job already
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/backport.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/backport.yml b/.github/workflows/backport.yml index 6641ea8da..88074f493 100644 --- a/.github/workflows/backport.yml +++ b/.github/workflows/backport.yml @@ -5,6 +5,9 @@ on: - closed - labeled +permissions: + contents: write + jobs: backport: name: Backport |