We are happy to inform you: Our PubMan migration server has been updated successfully and is now available again.