repository manager