Fix github banner rotation.