bc6bdbba40c57f81c828e5f5045d4a08031c919b — Drew DeVault 1 year, 5 months ago 97d5f17
git.sr.ht: simplify docs

It's not necessary to document the web UI in exhaustive detail.
1 files changed, 4 insertions(+), 53 deletions(-)

M git.sr.ht/index.md
M git.sr.ht/index.md => git.sr.ht/index.md +4 -53
@@ 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

## 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
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

## Push Options