@readwallah
@lemmy.worldJust in case anyone is interested, the migration has completed and programming.dev is back up as per @programming_dev@mastadon.social.
Thanks for confirming. I was trying to find the admin community for programming.dev but since it's down that's why I couldn't find it.