Push and Pull plugin to simplify git workflows