mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2026-02-08 20:16:22 -05:00
3cc98db1a422 formal: fix workflow permissions
Changes: 2737da3819...3cc98db1a4
Link: https://github.com/openwrt/openwrt/pull/21102
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>