Update badges after repo rename