Delete GithubPREventDescriptor.java