patch of appview/pages: use tangled.org (not .sh) in empty repo instructions · round #0 · pull #911 · tangled.org/core

The instructions after setting up an empty repository on the tangled-hosted knot use the old hostname tangled.sh if you are using tangled's hosted knot:

https://misc.octet-stream.net/empty-repo-sh.png

This is not technically wrong but if you haven't set up your SSH key for the old domain in .ssh/config then the push fails and it's pretty confusing.

AFAICT this is a simple oversight. There is already an override in cloneDropdown.html:

    {{ $knot := .RepoInfo.Knot }}
    {{ if eq $knot "knot1.tangled.sh" }}
        {{ $knot = "tangled.org" }}
    {{ end }}

This file empty.html still shows

      {{ $knot := .RepoInfo.Knot }}
      {{ if eq $knot "knot1.tangled.sh" }}
          {{ $knot = "tangled.sh" }}
      {{ end }}

so this branch changes it to tangled.org.