Add docs about automatically using git ssh urls for pushing

Add docs about automatically using git ssh urls for pushing #8600