Documentation for repository managers.