Update repo_tree.h