The migration was completed sucessfully.
Our CodiMD installation notes.typo3.org will be migrated to its sucessor HedgeDoc version 1.7.1. For details, see https://hedgedoc.org/history/.