Merge a pull request linked to a Xebrio bug

A GitHub pull request with an open status, indicated with a icon, can be merged from the Xebrio bug for which it is linked. In the detail's window of the specific bug, navigate to the GitHub tab and then to the Pull Requests secondary tab. For the desired Github status, click on the three dot vertical menu and select Merge. Once merged, the status of the pull request will change to merged/closed, indicated by the icon. 

In order to perform this action, a GitHub login may appear as a separate pop up window, so please check that pop ups are enabled on your browser. 

Users will need view and edit permissions in the bugs module to perform this action and GitHub access to the appropriate repositories. Depending on the user's project permission settings, they may be able to view all project bugs or just a subset. Watchers specifically added to the bug will be able to view it.