badges for the main repo