### 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?` - 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 statuses `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