mirror of
https://github.com/sourcegraph/sourcegraph.git
synced 2026-02-06 20:11:54 +00:00
1ead945267
We have a number of docs links in the product that point to the old doc site. Method: - Search the repo for `docs.sourcegraph.com` - Exclude the `doc/` dir, all test fixtures, and `CHANGELOG.md` - For each, replace `docs.sourcegraph.com` with `sourcegraph.com/docs` - Navigate to the resulting URL ensuring it's not a dead link, updating the URL if necessary Many of the URLs updated are just comments, but since I'm doing a manual audit of each URL anyways, I felt it was worth it to update these while I was at it.
110 lines
4.3 KiB
JSON
110 lines
4.3 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"$id": "azuredevops.schema.json#",
|
|
"title": "AzureDevOpsConnection",
|
|
"description": "Configuration for a connection to Azure DevOps.",
|
|
"allowComments": true,
|
|
"type": "object",
|
|
"additionalProperties": false,
|
|
"required": ["url", "username", "token"],
|
|
"properties": {
|
|
"url": {
|
|
"description": "URL for Azure DevOps Services, set to https://dev.azure.com.",
|
|
"type": "string",
|
|
"pattern": "^https?://",
|
|
"not": {
|
|
"type": "string",
|
|
"pattern": "example\\.com"
|
|
},
|
|
"format": "uri",
|
|
"examples": ["https://dev.azure.com"]
|
|
},
|
|
"rateLimit": {
|
|
"description": "Rate limit applied when making background API requests.",
|
|
"title": "AzureDevOpsRateLimit",
|
|
"type": "object",
|
|
"required": ["enabled", "requestsPerHour"],
|
|
"properties": {
|
|
"enabled": {
|
|
"description": "true if rate limiting is enabled.",
|
|
"type": "boolean",
|
|
"default": false
|
|
},
|
|
"requestsPerHour": {
|
|
"description": "Requests per hour permitted. This is an average, calculated per second. Internally, the burst limit is set to 100, which implies that for a requests per hour limit as low as 1, users will continue to be able to send a maximum of 100 requests immediately, provided that the complexity cost of each request is 1.",
|
|
"type": "number",
|
|
"minimum": 0
|
|
}
|
|
},
|
|
"default": {
|
|
"enabled": false,
|
|
"requestsPerHour": 0
|
|
}
|
|
},
|
|
"gitURLType": {
|
|
"description": "The type of Git URLs to use for cloning and fetching Git repositories.\n\nIf \"http\", Sourcegraph will access repositories using Git URLs of the form http(s)://dev.azure.com/myrepo.git.\n\nIf \"ssh\", Sourcegraph will access repositories using Git URLs of the form git@ssh.dev.azure.com:v3/myrepo. See the documentation for how to provide SSH private keys and known_hosts: https://sourcegraph.com/docs/admin/repo/auth.",
|
|
"type": "string",
|
|
"enum": ["http", "ssh"],
|
|
"default": "http"
|
|
},
|
|
"enforcePermissions": {
|
|
"description": "A flag to enforce Azure DevOps repository access permissions",
|
|
"type": "boolean",
|
|
"default": false
|
|
},
|
|
"username": {
|
|
"description": "A username for authentication with the Azure DevOps code host.",
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"token": {
|
|
"description": "The Personal Access Token associated with the Azure DevOps username used for authentication.",
|
|
"type": "string",
|
|
"minLength": 1
|
|
},
|
|
"projects": {
|
|
"description": "An array of projects \"org/project\" strings specifying which Azure DevOps projects' repositories should be mirrored on Sourcegraph.",
|
|
"type": "array",
|
|
"items": { "type": "string", "pattern": "^[\\w-]+/[\\w.-]+([ ]*[\\w.-]+)*$" },
|
|
"examples": [["org/project"]]
|
|
},
|
|
"orgs": {
|
|
"description": "An array of organization names identifying Azure DevOps organizations whose repositories should be mirrored on Sourcegraph.",
|
|
"type": "array",
|
|
"items": { "type": "string", "pattern": "^[\\w-]+$" },
|
|
"examples": [["name"], ["kubernetes", "golang", "facebook"]]
|
|
},
|
|
"exclude": {
|
|
"description": "A list of repositories to never mirror from Azure DevOps Services.",
|
|
"type": "array",
|
|
"minItems": 1,
|
|
"items": {
|
|
"type": "object",
|
|
"title": "ExcludedAzureDevOpsServerRepo",
|
|
"additionalProperties": false,
|
|
"anyOf": [{ "required": ["name"] }, { "required": ["id"] }, { "required": ["pattern"] }],
|
|
"properties": {
|
|
"name": {
|
|
"description": "The name of an Azure DevOps Services organization, project, and repository (\"orgName/projectName/repositoryName\") to exclude from mirroring.",
|
|
"type": "string",
|
|
"pattern": "^[\\w./ -]*?$"
|
|
},
|
|
"pattern": {
|
|
"description": "Regular expression which matches against the name of an Azure DevOps Services repo.",
|
|
"type": "string",
|
|
"format": "regex"
|
|
}
|
|
}
|
|
},
|
|
"examples": [
|
|
[{ "name": "myorg/myproject/myrepo" }],
|
|
[
|
|
{ "name": "myorg/myproject/myrepo" },
|
|
{ "name": "myorg/myproject/myotherrepo" },
|
|
{ "pattern": "^topsecretproject/.*" }
|
|
]
|
|
]
|
|
}
|
|
}
|
|
}
|