Add github banner (wonky for now)