Fix GitHub dev app; #2239
Merge pull request #2277 from gittip/fix-github-app

Fix GitHub dev app; #2239