Re: Gitlab Migration

[Eli Zaretskii]

> Date: Sat, 28 Aug 2021 09:56:45 +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
> 
> >Would someone like to come with a list of such requirements?
> 
> 
> 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.