Skip to content

Commit bb972a6

Browse files
jeffwidmanCopilot
andauthored
Clarify internal docs PR destination (#63518)
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
1 parent d00eabd commit bb972a6

1 file changed

Lines changed: 6 additions & 0 deletions

File tree

‎.github/instructions/all.instructions.md‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,12 @@ applyTo: "**"
66

77
This repository powers the GitHub Docs site (docs.github.com). It contains both the Next.js application code (TypeScript) and the documentation content (Markdown).
88

9+
## Choosing the pull request repository
10+
11+
- For work by GitHub employees, create pull requests in `github/docs-internal` by default, even if the current clone or `origin` remote points to `github/docs`. Use `github/docs` only when the contribution is intentionally public, such as when collaborating with an external contributor or customer.
12+
- Treat work originating from an internal repository, issue, pull request, or discussion as internal.
13+
- Before pushing a branch or creating a pull request, verify the destination repository explicitly instead of inferring it from the current Git remote. If the intended destination is unclear, ask the user.
14+
915
## Creating a pull request
1016

1117
When you create a pull request:

0 commit comments

Comments
 (0)