add xivo-dist to repo-check and shortlog-xivo