development/github-desktop
development/github-desktop
1
0
Fork 0
mirror of https://github.com/desktop/desktop synced 2024-10-06 08:09:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add link to PR

Browse source
This commit is contained in:
William Shepherd 2018-01-11 15:12:52 -06:00 committed by GitHub
parent c5ce13a231
commit e98b08cb38
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/technical/pull-requests.md
View file

@ -1,5 +1,5 @@
# Checking out pull requests from a forked repository
PR #3602 introduced the ability to checkout a branch from a forked repository. In order to accomplish this, we needed a way to manage remotes on your behalf. This document is intended to detail the process we developed to make checking out PRs as frictionless as possible.
PR [#3602](https://github.com/desktop/desktop/pull/3602) introduced the ability to checkout a branch from a forked repository. In order to accomplish this, we needed a way to manage remotes on your behalf. This document is intended to detail the process we developed to make checking out PRs as frictionless as possible.
## Magic Remote Prefix
One of the main problems we needed to solve was determining which remotes are no longer needed and can be cleaned. We decided to go with prefixing the remotes we add on your behalf with a magic string: `github-desktop-`