diff options
| author | Euan Torano <euan@torano.co.uk> | 2018-12-04 23:07:11 +0000 |
|---|---|---|
| committer | Drew DeVault <sir@cmpwn.com> | 2018-12-04 20:41:06 -0500 |
| commit | 118d9ed010807a82b1f4a1f772040971132568cc (patch) | |
| tree | ae49b9fedde14e8f3cc4385a2aa52f0b07734cdd | |
| parent | 90cd6cdc0f138b5dc338db07b84cd09d361226b8 (diff) | |
| download | sr.ht-docs-118d9ed010807a82b1f4a1f772040971132568cc.tar.gz | |
Spelling and structural changes for Git documentation.
Fixed some minor spelling mistakes in the index of the Git documentation, and fixed what appears to be an incorrect heading level.
| -rw-r--r-- | git.sr.ht/index.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git.sr.ht/index.md b/git.sr.ht/index.md index 422abcc..786c197 100644 --- a/git.sr.ht/index.md +++ b/git.sr.ht/index.md @@ -32,7 +32,7 @@ The git.sr.ht SSH host key is The following sections document various features of git.sr.ht. -# Repository creation +## 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 @@ -64,7 +64,7 @@ up a redirect from the previous name to the new. 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 will write access will not be able to edit your +to your repository. Users with write access will not be able to edit your repository's settings. ### Delete @@ -76,7 +76,7 @@ builds.sr.ht. ## Profile -Your public profile as available at git.sr.ht/~username. Here any public +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. |