Re: Gitlab Migration

[Eli Zaretskii]

> Date: Sat, 28 Aug 2021 11:00:36 +0200
> From: Theodor Thornhill <theo@thornhill.no>
> CC: dgutov@yandex.ru, monnier@iro.umontreal.ca, philipk@posteo.net,
>  danflscr@gmail.com, emacs-devel@gnu.org
> 
> >> Yeah, not sure what these requirements are, though, apart from the pr 
> >> workflow being recognizable across many GitHub derivatives. 
> >
> >I think these are basically the various important aspects of the PR
> >Web-based workflow.
> 
> If that's the case I'd say it is covered.

Dmitry seems to think otherwise, and he gave examples of such
features, to which you agreed.

> But it is different. And in my experience people have a hard time with 
> different. But if inching a little closer to what GitHub does it our goal, 
> then I'd say SourceHut covers it. If making it more accessible to webfolks is 
> the goal, we will get more than halfway. Is that enough? No idea.

We need to established whether it's enough, and if it isn't, either
look for a better alternative, or somehow make sure SourceHut gets
closer.