Fixing code status banners on github pages