diff --git a/bin/subrepo_checkout.py b/bin/subrepo_checkout.py index 2d5afaddb6756ade3360ca6d8d6a638507754e8a..a689d9bc3fcc409d81aa5f27edb31fd5c112cc2c 100755 --- a/bin/subrepo_checkout.py +++ b/bin/subrepo_checkout.py @@ -30,6 +30,7 @@ def read_branchfile(branchfile): return sub_repos def repo_checkout(directory, branch): + print(f"Checking out {directory} to branch {branch}") os.system(f"cd {directory}; git checkout {branch}") if __name__ == "__main__":