user-manual: use 'remote add' to setup push URLs