I was wondering what happened to micro recently (loved the m3o domain). Sorry to hear it’s over. Have you written a post-mortem? I’d love to hear more about it — if you don’t feel too downbeat about it.
Haven't written a post-mortem but maybe at some point if it felt useful for others. Startups built around open source are generally very hard. About as bad as social consumer products. Both micro.dev and m3o.com are for sale yes.
(is the domain for sale?)