On Fri, Oct 04, 2019 at 06:57:55PM +0200, Vít Ondruch wrote:
The package review becomes then a basic PR. We could leverage the tools we are working on for regular PRs. If the PR is approved, you get access granted to it. If the PR is denied, both repo are deleted.
This is an interesting idea.
It is, but I am afraid that then we will have Foo, foo, FOO and fOo repositories and we won't be able to get rid of them for similar reasons we are not allowed to delete branches in current dist-git.
Maybe we could have a namespace for unapproved ones, and move the repo if approved?