Add empty permissions block in Github Actions configs#3694

roji merged 1 commit intonpgsql:mainnpgsql/efcore.pg:mainfrom

roji:Permissionsroji/efcore.pg:PermissionsCopy head branch name to clipboard