Fixes #3 - adds support for repo deletions on GitHub sync.