Merge "Refine repo_pull.py"