github banner tweaks