TISTUD-5105 Allow user to merge an open pull request for a git repo attached to github
  - Pop a dialog asking for commit message and adding option to delete branch after successful merge
Merge pull request #101 from sgtcoolguy/TISTUD-5105

TISTUD-5105 Allow user to merge an open pull request for a git repo attached to github
Fix TISTUD-5279 Unable to set global JSLint options
TISTUD-4280 - Import samples with double click