push a finished feature to the Git master branch, and a w.i.p. feature incl a compilation error to a personal branch