pseudocode

diff --git a/scripts/rev_control/push_repo_downstream.sh b/scripts/rev_control/push_repo_downstream.sh
index ef1bb35a6a49b553c992c08050e62da419afef70..4e1530f8e29c280cde90c24dc98c695d31fd0344 100644 (file)
--- a/scripts/rev_control/push_repo_downstream.sh
+++ b/scripts/rev_control/push_repo_downstream.sh
@@ -43,6 +43,10 @@ fi
 pushd "$dir" &>/dev/null
 test_or_die "changing to directory: $dir"
 
+#switch this to the perform revctrl with a do_git_careful_update
+
+
+
 # get everything from the origin.
 git fetch origin
 test_or_die "running git fetch origin"