diff options
| author | silverwind <me@silverwind.io> | 2022-07-28 03:22:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-28 09:22:47 +0800 |
| commit | ae52df6a64477bcd5076ddddbee64bb22b3897a0 (patch) | |
| tree | 2950725dedb126fdff5f65fdd66cd61329e8c806 /docs/content/doc/advanced/repo-mirror.en-us.md | |
| parent | 6554d5197fa4082f3058ee880d2d6d80fbd97a56 (diff) | |
| download | gitea-ae52df6a64477bcd5076ddddbee64bb22b3897a0.tar.gz gitea-ae52df6a64477bcd5076ddddbee64bb22b3897a0.zip | |
Add markdownlint (#20512)
Add `markdownlint` linter and fix issues. Config is based on the one
from electron's repo with a few rules relaxed.
Diffstat (limited to 'docs/content/doc/advanced/repo-mirror.en-us.md')
| -rw-r--r-- | docs/content/doc/advanced/repo-mirror.en-us.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/content/doc/advanced/repo-mirror.en-us.md b/docs/content/doc/advanced/repo-mirror.en-us.md index bda5b0fa55..c1d794762a 100644 --- a/docs/content/doc/advanced/repo-mirror.en-us.md +++ b/docs/content/doc/advanced/repo-mirror.en-us.md @@ -37,7 +37,7 @@ For an existing remote repository, you can set up pull mirroring as follows: 3. Enter a repository URL. 4. If the repository needs authentication fill in your authentication information. 5. Check the box **This repository will be a mirror**. -5. Select **Migrate repository** to save the configuration. +6. Select **Migrate repository** to save the configuration. The repository now gets mirrored periodically from the remote repository. You can force a sync by selecting **Synchronize Now** in the repository settings. |