5 posts were merged into an existing topic: We’re investigating issues with GitHub import/export - updates here