push before branching