On Mon, Oct 24, 2022 at 02:43:10PM +0200, Yury V. Zaytsev wrote: > By the way, it was a lot of work back in the day to migrate the tickets from > Savannah to Trac, and if I were to migrate the tickets somewhere else today, > that would be GitHub. Why not gitlab instead? -- Amike, Marco Ciampa