fix: Add (currently) still required pull-requests: write permission
#745
This job was skipped
Loading
pull-requests: write permission
#745