Re: [PATCH] github: fix config mistake preventing repo lockdown commenting

2022-03-28 Thread Philippe Mathieu-Daudé
On 23/3/22 12:45, Daniel P. Berrangé wrote: The config key names were all wrong, Since commit 2b678923bb@repo-lockdown (22 Aug 2020, 2 years ago...): feat: move to GitHub Actions BREAKING CHANGE: The deployment method and configuration options have changed. https://github.com/dessant/r

[PATCH] github: fix config mistake preventing repo lockdown commenting

2022-03-23 Thread Daniel P . Berrangé
The config key names were all wrong, resulting in the repo lockdown throwing warnings: Unexpected input(s) 'pull-comment', 'lock-pull', 'close-pull', valid inputs are ['github-token', 'exclude-issue-created-before', 'exclude-issue-labels', 'issue-labels', 'issue-comment', 'skip-closed-issu