[Vm-dev] Should I push or request a pull?