What happened to the CodiMD repositories?

CodiMD was renamed to HedgeDoc. We moved all of our repositories to https://github.com/hedgedoc.