whoops github banner fix