git.sr.ht: simplify docs

It's not necessary to document the web UI in exhaustive detail.

1 files changed, 4 insertions, 53 deletions

diff --git a/git.sr.ht/index.md b/git.sr.ht/index.md
index 6c65b91..a1706a9 100644
--- a/git.sr.ht/index.md
+++ b/git.sr.ht/index.md
@@ -35,22 +35,6 @@ git.sr.ht ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMZvRd4EtM7R+IHVMWmDkVU3VLQTSwQDSA
 
 The following sections document various features of git.sr.ht.
 
-## Repository creation
-
-Creating new repositories is done on the [create
-page](https://git.sr.ht/create), which you can access from any page via the
-navigation on the top right. You can also create a new repository by pushing to
-one that does not yet exist, and clicking the link which is printed in the `git
-push` output to complete the creation process.
-
-The *name* and *description* fields are used to describe your repository to the
-public. The *visibility* field will change how your repository is shown on the
-website. Public repositories are visible on your profile, to anonymous users,
-and on third-party search engines. Unlisted repositories are visible to anyone
-who has the link, but are not shown in your profile or in search results.
-Private repositories are only visible to you and other logged-in users who you
-explicitly [grant access to](#access).
-
 ## Attaching files to releases
 
 git.sr.ht allows you to attach files, such as executables (aka binaries), PGP
@@ -76,43 +60,10 @@ branch, along with the new tag (this can be made the default behavior by running
 
 ## Source code annotations
 
-You can generate annotations for your source code to display on git.sr.ht. For
-more information [see this document](annotations.md).
-
-## Settings
-
-Each repository's settings may be accessed via the settings link on the
-repository's detail page.
-
-### Info
-
-You can change the repository's visibility and description on this page. Click
-"Rename?" if you wish to rename your repository. Renaming your repository sets
-up a redirect from the previous name to the new.
-
-### Access
-
-The access page allows you to grant other users read or write access to your
-repository. Users with read access will be able to clone and view private
-repositories on the web, and users with write access will be able to push new
-to your repository. Users with write access will not be able to edit your
-repository's settings.
-
-### Delete
-
-You can delete your repository from this page. This operation cannot be undone.
-This does not delete any other resources that may be associated with this
-project, such as a ticket tracker on todo.sr.ht or build history on
-builds.sr.ht.
-
-## Profile
-
-Your public profile is available at git.sr.ht/~username. Here any public
-repositories on your account are listed and searchable, but unlisted and private
-repositories are hidden unless you're logged in.
-
-The information displayed on your profile page is sourced from your [meta.sr.ht
-profile](/meta.sr.ht#profile).
+You can generate annotations for your source code to display on git.sr.ht. These
+may be used, for example, to implement language-aware "go to reference" or "go
+to usage" annotations throughout your code. For more information [see this
+document](annotations.md).
 
 ## Push Options