another attempt to clean up superfluous merges
authorChris Koeritz <fred@gruntose.com>
Sun, 7 Jan 2018 17:15:26 +0000 (12:15 -0500)
committerChris Koeritz <fred@gruntose.com>
Sun, 7 Jan 2018 17:15:26 +0000 (12:15 -0500)
commit40ef92ae613cd8975e4bb0263073e66803e93718
tree44144663199c87b38a113228fafdc622e38cc218
parentc23e331e8872360bb47049f0da925e0a2c6fd9df
another attempt to clean up superfluous merges

we want to stop seeing pointless merge messages in the commit log.  this should take care of it, although there can be a problem if the code stashed before pulling is *way* out of synch with the code being pulled.  that problem would afflict the merge also though, and it is better to find out as soon as possible rather than letting the snarl grow larger.
scripts/rev_control/version_control.sh