### 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 commit#### Methods `mergeable?` - Whether mergeable and mergeable status is clean `labels` - Get labels `add_labels` - add labels to pull request `remove_labels` - remove labels from pull request `statuses` - get current commit statusesgithub.statuses