> Yes please. If someone would make a pull-request with such a change I > think we > would merge it for the reasons you state. It makes the workflow permission > situation clearer. >
That's great! I'll create a PR with that modification then. I'll take a look at all workflows and propose modifications on the ones that apply. When creating the PR, should I create an Issue, refer to these emails, or anything like that?
-- Unsubscribe: https://lists.haxx.se/listinfo/curl-library Etiquette: https://curl.se/mail/etiquette.html
