Commit f64f3724 authored by Robert Ricci's avatar Robert Ricci

Fix mistakes noticed by Leigh

parent 98638fa1
Pipeline #2127 passed with stages
in 3 minutes and 3 seconds
......@@ -228,7 +228,7 @@ to be able to clone the repository without authentication.
@margin-note{
Note that CloudLab is not a @tt{git} hosting service; while we do keep a
cache of your repository, we don't guarantee that the profile will continue
to work if the original repository becomes available.
to work if the original repository becomes unavailable.
}
When you intantiate a repository-based profile, the repository will be cloned
......@@ -260,7 +260,8 @@ whever it is updating. To do so, you will need to set up a ``web hook'' on
the service that hosts your @tt{git} repository. @(tb) currently supports
webhooks for @tt{GitHub.com}, @tt{BitBucket.org}, and sites hosted using
GitLab (including both @tt{GitLab.com} and self-hosted GitLab installations.)
See the ``push URL'' in the right side of the profile page for the webhook
See the ``push URL'' in the Repository Info panel on the left side of the
profile page for the webhook
URL, and use the ``information'' icon next to it to get specific instructions
for setting webhook on each service. Once you have set the webhook up, every
time you push to your repository, your hosting service will let @(tb) know
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment