fixes problems in push repo downstream
authorChris Koeritz <fred@gruntose.com>
Sat, 11 Nov 2017 17:58:54 +0000 (17:58 +0000)
committerChris Koeritz <fred@gruntose.com>
Sat, 11 Nov 2017 17:58:54 +0000 (17:58 +0000)
commit1e4dd772342ca265b5d7202341052968cd437f82
treea48798d7f926220b2ecdc742c6ebe64f72a0c7db
parent086c15677bb5993d61983f5b79c9a31dc1d15e1d
fixes problems in push repo downstream
scripts/rev_control/push_repo_downstream.sh
scripts/rev_control/version_control.sh