fix badges after repo rename [ci skip]