"description": "Enable usage data and errors to be sent to a GitHub online service"
},
"githubPullRequests.hosts": {
"type": "array",
"default": [],
"markdownDescription": "List of host credentials. For example, \"githubPullRequests.hosts\": [ { \"host\": \"https://github.com\", \"token\": \"GITHUB TOKEN\" } ]",
"items": {
"type": "object",
"properties": {
"host": {
"type": "string",
"description": "The host name of the GitHub server (for eg., 'https://github.com')"
},
"username": {
"type": "string",
"description": "The username to access GitHub (optional)"
},
"token": {
"type": "string",
"description": "GitHub access token with the following scopes: read:user, user:email, repo, write:discussion"
}
}
}
},
"githubPullRequests.pullRequestTitle": {
"type": "string",
"enum": [
"commit",
"branch",
"custom",
"ask"
],
"enumDescriptions": [
"Use the latest commit message",
"Use the branch name",
"Specify a custom title",
"Ask which of the above methods to use"
],
"default": "ask",
"description": "The title used when creating pull requests."
},
"githubPullRequests.logLevel": {
"type": "string",
"enum": [
"info",
"debug",
"off"
],
"default": "info",
"description": "Logging for GitHub Pull Request extension. The log is emitted to the output channel named as GitHub Pull Request."
},
"githubPullRequests.remotes": {
"type": "array",
"default": [
"origin",
"upstream"
],
"items": {
"type": "string"
},
"markdownDescription": "List of remotes, by name, to fetch pull requests from."
},
"githubPullRequests.includeRemotes": {
"type": "string",
"enum": [
"default",
"all"
],
"default": "default",
"deprecationMessage": "The setting `githubPullRequests.includeRemotes` has been deprecated. Use `githubPullRequests.remotes` to configure what remotes are shown.",
"description": "By default we only support remotes created by users. If you want to see pull requests from remotes this extension created for pull requests, change this setting to 'all'."
},
"githubPullRequests.queries": {
"type": "array",
"items": {
"type": "object",
"properties": {
"label": {
"type": "string",
"description": "The label to display for the query in the Pull Requests tree"
},
"query": {
"type": "string",
"description": "The query used for searching pull requests."
}
}
},
"scope": "resource",
"markdownDescription": "Specifies what queries should be used in the GitHub Pull Requests tree. Each query object has a `label` that will be shown in the tree and a search `query` using [GitHub search syntax](https://help.github.com/en/articles/understanding-the-search-syntax). The variable `${user}` can be used to specify the logged in user within a search. By default these queries define the categories \"Waiting For My Review\", \"Assigned To Me\" and \"Created By Me\". If you want to preserve these, make sure they are still in the array when you modify the setting.",
"default": [
{
"label": "Waiting For My Review",
"query": "is:open review-requested:${user}"
},
{
"label": "Assigned To Me",
"query": "is:open assignee:${user}"
},
{
"label": "Created By Me",
"query": "is:open author:${user}"
}
]
},
"githubPullRequests.defaultMergeMethod": {
"type": "string",
"enum": [
"merge",
"squash",
"rebase"
],
"default": "merge",
"description": "The method to use when merging pull requests."
},
"githubPullRequests.showInSCM": {
"type": "boolean",
"default": false,
"description": "When true, show GitHub Pull Requests within the SCM viewlet. Otherwise show a separate view container for them."
},
"githubPullRequests.fileListLayout": {
"type": "string",
"enum": [
"flat",
"tree"
],
"default": "tree",
"description": "The layout to use when displaying changed files list."
"description": "When true, the option to delete the remote will be selected by default when deleting a branch from a pull request."
},
"telemetry.optout": {
"type": "boolean",
"default": false,
"deprecationMessage": "The setting `telemetry.optout` has been deprecated in favor of `githubPullRequests.telemetry.enabled`.",
"description": "Disable usage data and errors to be sent to a GitHub online service"
},
"github.hosts": {
"type": "array",
"default": [],
"deprecationMessage": "The setting `github.hosts` has been deprecated in favor of `githubPullRequests.hosts`.",
"description": "List of host credentials. For example, \"github.hosts\": [ { \"host\": \"https://github.com\", \"token\": \"GITHUB TOKEN\" } ]",
"items": {
"type": "object",
"properties": {
"host": {
"type": "string",
"description": "The host name of the GitHub server (for eg., 'https://github.com')"
},
"username": {
"type": "string",
"description": "The username to access GitHub (optional)"
},
"token": {
"type": "string",
"description": "GitHub access token with the following scopes: read:user, user:email, repo, write:discussion"
}
}
}
},
"githubIssues.ignoreMilestones": {
"type": "array",
"default": [],
"description": "An array of milestones titles to never show issues from."
},
"githubIssues.createIssueTriggers": {
"type": "array",
"items": {
"type": "string",
"description": "String that enables the 'Create issue from comment' code action. Should not container whitespace."
},
"default": [
"TODO",
"todo",
"BUG",
"FIXME",
"ISSUE",
"HACK"
],
"description": "Strings that will cause the 'Create issue from comment' code action to show."
},
"githubIssues.createInsertFormat": {
"type": "string",
"enum": [
"number",
"url"
],
"default": "number",
"description": "Controls whether an issue number (ex. #1234) or a full url (ex. https://github.com/owner/name/issues/1234) is inserted when the Create Issue code action is run."
},
"githubIssues.issueCompletions.enabled": {
"type": "boolean",
"default": true,
"description": "Controls whether completion suggestions are shown for issues."
},
"githubIssues.userCompletions.enabled": {
"type": "boolean",
"default": true,
"description": "Controls whether completion suggestions are shown for users."
},
"githubIssues.ignoreCompletionTrigger": {
"type": "array",
"items": {
"type": "string",
"description": "Language that issue completions should not trigger on '#'."
},
"default": [
"python"
],
"description": "Languages that the '#' character should not be used to trigger issue completion suggestions."
},
"githubIssues.ignoreUserCompletionTrigger": {
"type": "array",
"items": {
"type": "string",
"description": "Language that user completions should not trigger on '@'."
},
"default": [
"python"
],
"description": "Languages that the '@' character should not be used to trigger user completion suggestions."
},
"githubIssues.workingIssueBranch": {
"type": "string",
"default": "${user}/issue${issueNumber}",
"description": "Advanced settings for the name of the branch that is created when you start working on an issue. ${user} will be replace with the currently logged in username and ${issueNumber} will be replaced with the current issue number."
},
"githubIssues.useBranchForIssues": {
"type": "string",
"enum": [
"on",
"off",
"prompt"
],
"enumDescriptions": [
"A branch will always be checked out when you start working on an issue. If the branch doesn't exist, it will be created.",
"A branch will not be created when you start working on an issue. If you have worked on an issue before and a branch was created for it, that same branch will be checked out.",
"A prompt will show for setting the name of the branch that will be created and checked out."
],
"default": "on",
"description": "Determines whether a branch should be checked out when working on an issue. To configure the name of the branch, set `githubIssues.workingIssueBranch`."
},
"githubIssues.issueCompletionFormatScm": {
"type": "string",
"default": "#${issueNumber} - ${issueTitle}",
"description": "Sets the format of issue completions in the SCM inputbox. For example, '${issueNumberLabel}'"
"description": "Sets the format of the commit message that is set in the SCM inputbox when you **Start Working on an Issue**. Defaults to '${issueTitle} \nFixes #${issueNumber}'"
},
"githubIssues.queries": {
"type": "array",
"items": {
"type": "object",
"properties": {
"label": {
"type": "string",
"description": "The label to display for the query in the Issues tree."
},
"query": {
"type": "string",
"markdownDescription": "The search query using [GitHub search syntax](https://help.github.com/en/articles/understanding-the-search-syntax) with variables. The variable `${user}` can be used to specify the logged in user within a search. `${owner}` and `${repository}` can be used to specify the repository by using `repo:${owner}/${repository}`."
}
}
},
"scope": "resource",
"markdownDescription": "Specifies what queries should be used in the GitHub issues tree using [GitHub search syntax](https://help.github.com/en/articles/understanding-the-search-syntax) with variables. The first query listed will be expanded in the Issues view. The \"default\" query includes issues assigned to you by Milestone. If you want to preserve these, make sure they are still in the array when you modify the setting.",