# pull-request-extension-exp **Repository Path**: mirrors_sourcegraph/pull-request-extension-exp ## Basic Information - **Project Name**: pull-request-extension-exp - **Description**: No description available - **Primary Language**: Unknown - **License**: Apache-2.0 - **Default Branch**: master - **Homepage**: None - **GVP Project**: No ## Statistics - **Stars**: 0 - **Forks**: 0 - **Created**: 2020-11-23 - **Last Updated**: 2025-12-21 ## Categories & Tags **Categories**: Uncategorized **Tags**: None ## README # Issue pull requests from Sourcegraph codemod/diff views. ## ⚠️ Deprecation notice **Sourcegraph extensions have been deprecated with the September 2022 Sourcegraph release. [Learn more](https://docs.sourcegraph.com/extensions/deprecation).** The repo and the docs below are kept to support older Sourcegraph versions. ## Description The fields below can be set in your configuration. If they are not set, and do not have a sensible default, you'll get an input prompt when issuing a PR (e.g., for a GH access token, author name, etc.). While the PR title and commit will probably differ, it's a good idea to set the things that likely won't change: ``` "pr.gitHubAccessToken": "", "pr.authorName": "Rijnard van Tonder", "pr.authorEmail": "rvantonder@gmail.com", "pr.description": "", ``` ```ts export interface Overrides { /** * An input box is prompted if not specified. */ 'pr.gitHubAccessToken': string /** * An input box is prompted if not specified. */ 'pr.title': string /** * An input box is prompted if not specified. */ 'pr.description': string /** * An input box is prompted if not specified. */ 'pr.authorName': string /** * An input box is prompted if not specified. */ 'pr.authorEmail': string /** * E.g., my-pr-branch. An input box is prompted if not specified. */ 'pr.sourceBranch': string /** * Default is 'master' if not specified. */ 'pr.destinationBranch': string /** * A PR is a draft by default. Set this to false to issue real PRs. */ 'pr.isDraft': boolean /** * Override sourcegraph URL (useful to for testing against Docker hosts). */ 'pr.sourcegraphUrl': string } ```