Use-Git-Efficiently_-A-Robust-Git-Workflow.