I imported a few repositories to Github, and for most of them I just received a “Finished!” email. However for a couple I received both the “Finished!” email as well as a “Failed!” email. The fail message says:
There was an error pushing commits to GitHub.
The repos appear to be complete, and I tried fetching from them and did a test push and it all works as expected.
Is this a quirk, or something I should be worried about? I am hesitant to delete them from the previous host in case something could be wrong that I can’t see at a glance?