Comment deletion should delete both Comment and GithubComment records #1100
Description
Problem
Right now the comment deleter for the GitHub API events only deletes Comment records and not the accompanying GithubComment records. This should be rewritten to delete both, since a comment is no longer accessible from Github's API after deletion, which makes it not useful on our side.