On Mon, Jan 20, 2020 at 01:01:00PM -0500, Yaroslav Halchenko wrote:
>
> > I'm fine with re-doing what I changed if you consider it really of
> > practical relevance. If you ask me we two would spent time we could
> > use more productively but its OK if you want to do it.
>
> You just rename and I will do the rest (push your pristine-tar, align
> branches properly). then debcheckout should work for old people (if
> gitlab redirects correctly as github does in such cases), and you could
> proceed with your work ;)
Just ping me if you are done. Next time I should try to move first. :-)
Kind regards
Andreas.
--
http://fam-tille.de
