+[2019-05-24T18:22:06Z]jhasshttps://github.com/github/hub allows you to just do hub checkout <url to pr> +[2019-05-24T18:22:44Z]stemid_huh interesting. thanks +[2019-05-24T18:23:05Z]jhasselse just follow the "command line instructions" next to the merge button for step 1, but don't do step 2 +[2019-05-24T18:24:17Z]stemid_oh I never noticed that link. that's exactly what I needed. +[2019-05-24T23:17:56Z]oo_miguelis it possible to add a public key (allowing direct pushes) only to a single specific repository or does it only work account-wide?
I'll let them know and report to google for the extension as well as the hoat
+[2019-05-26T02:58:16Z]CarlFKis there some way to upload/host images on the wiki using the webi ui? +[2019-05-26T10:16:04Z]dementorrHello! Is there a way to hide public commits on Github? Private are already hidden, but I'd like to also hide the public ones (personal reasons)... +[2019-05-26T19:59:00Z]antimatroidany chance of allowing master as the branch name instead of gh-pages for project pages (not personal/organisation pages)? +[2019-05-26T19:59:51Z]antimatroidI would personally keep allowing gh-pages for backwards compatibility purposes, but it's quite tiring remembering both, would be nice to be able to just use master as the branch name for any static site +[2019-05-26T20:00:10Z]antimatroidespecially helpful for my site manager https://nifty-site-manager.com