Re: "If you're still seeing problems, please reopen." [Was: bug#25148:]

[Eli Zaretskii]

> From: Dmitry Gutov <address@hidden>
> Date: Tue, 19 Nov 2019 13:15:33 +0200
> Cc: address@hidden, address@hidden, address@hidden
> 
> > Would you please say concretely what you are proposing we do?
> 
> Migrate to GitLab, both the bug database and the Git repository.
> 
> There are certain steps we'd have to do to prepare for such migration, 
> of course. Discuss workflows, update our tooling. Probably get some more 
> patches into GitLab, too.

If we want to support pull requests, there are more things to do than
just the above.