Merge pull request github#15939 from github/repo-sync

repo sync
abubakar62 · Oct 8, 2020 · a9f04fe · a9f04fe
2 parents e0e2ba6 + 1d45799
commit a9f04fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...hub/creating-cloning-and-archiving-repositories/about-archiving-repositories.md b/...hub/creating-cloning-and-archiving-repositories/about-archiving-repositories.md
@@ -20,7 +20,7 @@ versions:
 
 Once a repository is archived, you cannot add or remove collaborators or teams. Contributors with access to the repository can only fork or star your project.
 
-When a repository is archived, its issues, pull requests, code, labels, milestones, projects, wiki, releases, commits, tags, branches, reactions, and comments become read-only. To make changes in an archived repository, you must unarchive the repository first.
+When a repository is archived, its issues, pull requests, code, labels, milestones, projects, wiki, releases, commits, tags, branches, reactions, code scanning alerts, and comments become read-only. To make changes in an archived repository, you must unarchive the repository first.
 
 You can search for archived repositories. For more information, see "[Searching for repositories](/articles/searching-for-repositories/#search-based-on-whether-a-repository-is-archived)." You can also search for issues and pull requests within archived repositories. For more information, see "[Searching issues and pull requests](/articles/searching-issues-and-pull-requests/#search-based-on-whether-a-repository-is-archived)."