Update docs about git deployment

in `the` process ... and add `a` private ... push to `the` newly added remote.