I wonder whats happening around with github export lately.
I was exporting codes from glitch into private repo of mine over github.
It was working fine around 2 months back.
I tried to export it back to the same repo, but it didnt work.
Actually it stated succesfullly exported but I cant see the codes over in github.
I tried revoking github access, and even github warned me for multiple actions with 3rdParty.
so I then had to even reverify the ouath.
Exporting to Favetti/hadesbotty stderr: fatal: Couldn't find remote ref master
We expect the GitHub repository to have a master branch. You named it Master. I think that if you create even an empty branch named master, it will work.
I was just curious as its pretty much night time over here, so I might head off for bed, and wont be able to reply to your queries sooner.
And I hope it would be fixed soon.
I am not in extreme need of it, but its something I would prefer over downloading the repository and manually uploading to GitHub.
And yeah as always you guys are awesome with your service