Re: Delete some Wiki pages (was: Migrating custom qemu.org infrastructure to GitLab)

2020-07-09 Thread Paolo Bonzini
On 09/07/20 15:10, Thomas Huth wrote: > - https://wiki.qemu.org/Features/40p : > - https://wiki.qemu.org/Features/PRePCleanup : > - https://wiki.qemu.org/Features/BeBox > - https://wiki.qemu.org/Features/DriveRefactoring > - https://wiki.qemu.org/Features/LegacyRemoval > - https://wiki.qemu.org/Fea

Re: Delete some Wiki pages (was: Migrating custom qemu.org infrastructure to GitLab)

2020-07-09 Thread Daniel P . Berrangé
On Thu, Jul 09, 2020 at 03:10:44PM +0200, Thomas Huth wrote: > On 09/07/2020 12.33, Paolo Bonzini wrote: > > On 09/07/20 12:22, Thomas Huth wrote: > >> FWIW, seems like we could use the "pandoc" tool to convert Mediawiki > >> (our old Wiki) to Markdown (Gitlab wiki). I've done a quick test and > >>

Delete some Wiki pages (was: Migrating custom qemu.org infrastructure to GitLab)

2020-07-09 Thread Thomas Huth
On 09/07/2020 12.33, Paolo Bonzini wrote: > On 09/07/20 12:22, Thomas Huth wrote: >> FWIW, seems like we could use the "pandoc" tool to convert Mediawiki >> (our old Wiki) to Markdown (Gitlab wiki). I've done a quick test and >> converted https://wiki.qemu.org/Contribute/MailingLists into >> https: