Hi Dominik
You proposal looked reasonable, yet at the same time something seemed
to be off.
After some pondering, I think it may be going for the wrong problem.
On 2023-08-21 at 17:00 +0200, Dominik George wrote:
> But, I want to go one step further and think about who is invited to
> do what
On 2023-08-21 at 16:37 +, Jeremy Stanley wrote:
> On 2023-08-21 17:00:04 +0200 (+0200), Dominik George wrote:
> [...]
> > A concrete implementation for GitHub repositories would be to
> > disable issues and PRs
> [...]
>
> As an aside, unless something has changed very recently, GH does not
>
2 matches
Mail list logo
