after a repository is destroyed, delete its hook on github

/cc @bhuga