Tweaks for GitHub UI to simplify collaboration