Refined Github

We use GitHub a lot and notice many annoyances we'd like to fix. So here be dragons. Our hope is that GitHub will notice and implement some of these much needed improvements. So if you like any of these improvements, please email GitHub support about doing it. GitHub Enterprise is also supported. More info in the options.