### github_ext This is Danger Plugin for GitHub extension. When installing this plugin, you can additional methods on github instance
Determine if pull request is mergeable and mergeable status is cleangithub.mergeable?
List labels for the pull requestgithub.labels
Add labels to the pull requestgithub.add_labels 'build ok'
Remove labels from the pull requestgithub.remove_labels 'build failed'
List current statuses for the head commitgithub.statuses
Update the title of the pull requestgithub.update_pr_tile 'Updated title'
Update the body of the pull requestgithub.update_pr_body 'Updated body'
Close the pull requestgithub.close
Open the pull request#### Methods `mergeable?` - Determine if pull request is mergeable and mergeable status is clean `labels` - List labels for the pull request `add_labels` - Add labels to the pull request `add_label` - Add label with color to the pull request `remove_labels` - Remove labels from the pull request `statuses` - List current statuses for the head commit `update_pr_title` - Update the title of the pull request `update_pr_body` - Update the body of pull request `close` - Close the pull request `open` - Open the pull requestgithub.open