Fixing badges after repo rename.