]> source.dussan.org Git - gitea.git/commitdiff
Update repo-mirror.en-us.md (#28612)
authorVolodymyr Stelmashchuk <vovochkastelmashchuk@gmail.com>
Tue, 26 Dec 2023 16:36:11 +0000 (18:36 +0200)
committerGitHub <noreply@github.com>
Tue, 26 Dec 2023 16:36:11 +0000 (00:36 +0800)
Add small changes to the doc. The workflow scope require for push code
to github mirror in case the project use the github action compatibility
ui.

docs/content/usage/repo-mirror.en-us.md

index 4a6571031b3cbd383dcf76adf16a586fecc5b420..8804a8885a1e65bb7d85dc5cdf9ee7c86755f482 100644 (file)
@@ -58,7 +58,7 @@ The repository now gets mirrored periodically to the remote repository. You can
 
 To set up a mirror from Gitea to GitHub, you need to follow these steps:
 
-1. Create a [GitHub personal access token](https://docs.github.com/en/github/authenticating-to-github/creating-a-personal-access-token) with the *public_repo* box checked.
+1. Create a [GitHub personal access token](https://docs.github.com/en/github/authenticating-to-github/creating-a-personal-access-token) with the *public_repo* box checked. Also check the **workflow** checkbox in case your repo using act for continuous integration.
 2. Create a repository with that name on GitHub. Unlike Gitea, GitHub does not support creating repositories by pushing to the remote. You can also use an existing remote repo if it has the same commit history as your Gitea repo.
 3. In the settings of your Gitea repo, fill in the **Git Remote Repository URL**: `https://github.com/<your_github_group>/<your_github_project>.git`.
 4. Fill in the **Authorization** fields with your GitHub username and the personal access token as **Password**.