From-'git-push'-to-Goal-Met%3A-Version-Controlling-Your-Strategy-with-Git