Unable to delete a repository

[jwiegley]

I am trying to delete a repository with this code:

 result <- Github.deleteRepo (Github.GithubOAuth token) name repoName
 case result of
     Left e -> putStrLn $ "Could not delete repository: " ++ show e
     _ -> return ())

But I'm always seeing the following error:

Could not delete repository: ParseError "Failed reading: satisfy"

I'll keep tracking this down, just wanted to post it here in case this rings a bell.

[jwiegley]

I've changed the code from API v2 to the new API v3 mechanism for deleting a repository. However, although I can delete repositories using curl just fine, for some reason the code isn't working yet.

curl -v -X DELETE -H "Authorization: token $TOKEN" https://api.github.com/repos/$USER/$REPO