Fixed problem with creating new issues and pull requests
Changed the wording of the update issue dialog
Fixed various issues with the GitHub plugins
Fixed CI status in pull requests
Support merging pull requests