build: harden GitHub workflow permissions
authorAlex Low <aleksandrosansan@gmail.com>
Mon, 19 Sep 2022 10:20:37 +0000 (12:20 +0200)
committerJosef Schlehofer <pepe.schlehofer@gmail.com>
Sun, 4 Dec 2022 15:26:59 +0000 (16:26 +0100)
commit3a9f927c2f74bce2f8b6c1fe654db3ef2cabae0a
treec45ef176726c446b37be92f042aeba05943b057d
parent8496275f83fda227f9b9c8d706ca18d1d3733c77
build: harden GitHub workflow permissions

Grant pull-requests write permission to the labeler workflow and
read-only to everything else.

Signed-off-by: Alex Low <aleksandrosansan@gmail.com>
[ wrap to 80 columns and fix wrong author as requested by author itself ]
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit 715259940776843d8799bc39de8eb50eb764189b)
.github/workflows/formal.yml
.github/workflows/kernel.yml
.github/workflows/labeler.yml
.github/workflows/tools.yml