diff options
Diffstat (limited to 'docs/usage.html')
| -rw-r--r-- | docs/usage.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/usage.html b/docs/usage.html index f25a074..52314fa 100644 --- a/docs/usage.html +++ b/docs/usage.html @@ -291,7 +291,7 @@ can never wedge. Nothing here can push — the repository refuses <code>receive- generated from the platform's monorepo and a push to it would be erased by the next publish. Pushes go to a separate host that asks for credentials; the read-only host in your <code>origin</code> stays anonymous and read-only.</p> -<pre><code># 1. one token per account, issued by the platform operator +<pre><code># 1. one token per account: Dashboard -> "Git push token" -> Create (shown once, revocable) # (looks like: https://<user>:wx11gp_…@push.newos.webx11.duckdns.org/newos4.git) git remote add push https://push.newos.webx11.duckdns.org/newos4.git |