Shell command for remotely deleting a github repo (using Github's Repo API v3 with cURL)