[PATCH] Release process improvements

[Mark Wielaard]

Hi Tom,

On Fri, Mar 12, 2021 at 10:05:53AM +0100, Tom de Vries wrote:
> That email also contains a suggestion on how to move things to git,
> which might be a nice improvement.  [ I don't really understand how to
> go about that, maybe you understand the suggestion better?  Anyway,
> otherwise, we can ask for clarifications. ]

It took me a while, but I now understand how to transform the CVS repo
into a git repo. Which I just did. So now we can update our webpages
through https://sourceware.org/git/dwz-htdocs.git

Cheers,

Mark