Skip to content

Commit 9f5c2fe

Browse files
Copilotalexr00
andauthored
Add reload notice to githubPullRequests.ignoreSubmodules setting description (#7794)
* Initial plan * Add reload notice to ignoreSubmodules setting description Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com> * Make ignoreSubmodules reload notice more verbose Changed from "Changes require a reload to apply" to "A window reload is required for changes to this setting to take effect" to provide clearer and more detailed information to users. Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com> * Commit --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>
1 parent 1e55634 commit 9f5c2fe

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

package.nls.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -67,7 +67,7 @@
6767
"githubPullRequests.allowFetch.description": "Allows `git fetch` to be run for checked-out pull request branches when checking for updates to the pull request.",
6868
"githubPullRequests.ignoredPullRequestBranches.description": "Prevents branches that are associated with a pull request from being automatically detected. This will prevent review mode from being entered on these branches.",
6969
"githubPullRequests.ignoredPullRequestBranches.items": "Branch name",
70-
"githubPullRequests.ignoreSubmodules.description": "Prevents repositories that are submodules from being managed by the GitHub Pull Requests extension.",
70+
"githubPullRequests.ignoreSubmodules.description": "Prevents repositories that are submodules from being managed by the GitHub Pull Requests extension. A window reload is required for changes to this setting to take effect.",
7171
"githubPullRequests.neverIgnoreDefaultBranch.description": "Never offer to ignore a pull request associated with the default branch of a repository.",
7272
"githubPullRequests.overrideDefaultBranch.description": "The default branch for a repository is set on github.com. With this setting, you can override that default with another branch.",
7373
"githubPullRequests.postCreate.description": "The action to take after creating a pull request.",

0 commit comments

Comments
 (0)