I think this may be missing Adriaan's hook for a repository, but I may be wrong...