fix badges after repo name change