Change name of Updates.mli and add git_id in Player.mli