Add global permissions

[mdedetrich]

PR adds the permissions section for generated workflow file.

[mdedetrich]

So a windows test seem to be failing but I am not sure if this related?

[mdedetrich]

So after looking at this again I have updated the PR with the following improvements

• The permissions actually follows a schema (see https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs#overview) so rather than using a Map[String, String] it now uses a proper ADT similar to other settings in github-workflow-actions
  • The only thing I am unsure of is the Permissions.None which maps to permissions: {}. I think that having the Permissions.None may be "pointless" because its the same as Permissions.Specify(Map.empty) but I don't know if github actions and/or yaml treats permissions: same as permissions: {}. For similar reasons it may make sense to throw an error if an empty Map is passed to Permissions.Specify or alternately map Permissions.Specify(permMap) if permMap.isEmpty to permissions: {} and remove Permissions.None.
• Permissions can also be specified on workflow steps (see https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs#assigning-permissions-to-a-specific-job) so I did the necessary changes there.

[mdedetrich]

@djspiewak Would it be possible to have a look at this?

[TonioGela]

@djspiewak Would it be possible to have a look at this?

@djspiewak IMHO this pr has a huge value, and it's a feature that I'll love too

[mdedetrich]

So from what I can see @djspiewak doesn't seem to have capacity/time to properly take care of this project hence why I made #117

[mdedetrich]

@eed3si9n You mind looking at this?

[eed3si9n]

Overall LGTM. if this passes the CI, I'd merge?

[mdedetrich]

Yup! I think the CI issues are unrelated but if needed I can look into it (I remember this project had windows related CI problems in general).

[TonioGela]

So from what I can see @djspiewak doesn't seem to have capacity/time to properly take care of this project hence why I made #117

It was moved! Awesome :D

[mdedetrich]

@eed3si9n I will go ahead and merge this PR, just rebasing it now with the removal of the Windows in CI just to do a last minute sanity check to see it passes CI.