You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/source/how_to_guides/convert_repo_from_repo.md
+3-1Lines changed: 3 additions & 1 deletion
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -15,7 +15,9 @@ See [hecklist below for details:
15
15
## Checklist for Adoption
16
16
17
17
-[ ] Add a GitHub [personal access token](https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/creating-a-personal-access-token), preferably from a "machine user" GitHub
18
-
account that has write access to the repository. The token will need "public_repo", and "repo:status" permissions. Save the token as `ADMIN_GITHUB_TOKEN`
18
+
account that has admin access to the repository. The token itself will
19
+
need "public_repo", and "repo:status" permissions. Save the token as
20
+
`ADMIN_GITHUB_TOKEN`
19
21
in the [repository secrets](https://docs.github.com/en/actions/reference/encrypted-secrets#creating-encrypted-secrets-for-a-repository). We need this
20
22
access token to allow for branch protection rules, which block the pushing
21
23
of commits when using the `GITHUB_TOKEN`, even when run from an admin user
0 commit comments