Mini-tweak github button