From 476cebc58ac994f645a9111ba6367fc9b44b7cba Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Fri, 10 Nov 2017 13:00:19 -0500 Subject: [PATCH] better comments --- scripts/rev_control/version_control.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh index 53855ec0..99e6d4cf 100644 --- a/scripts/rev_control/version_control.sh +++ b/scripts/rev_control/version_control.sh @@ -251,7 +251,7 @@ function parent_branch_name() echo "$(git branch -vv | grep \* | cut -d ' ' -f2)" } -# this exits with 0 for success (normal bash behavior). if the branch is not up to date, +# this exits with 0 for success (normal bash behavior) when up to date. if the branch is not up to date, # then these values are returned: #DOCUMENT THE VALUES # reference: https://stackoverflow.com/questions/3258243/check-if-pull-needed-in-git -- 2.34.1