[WIP] Experiment with a new github policy type - #1241

[WIP] Experiment with a new github policy type#1241

jviotti wants to merge 1 commit into

mainsourcemeta/one:mainfrom

githubsourcemeta/one:githubCopy head branch name to clipboard