From 361b99bfddf9928f24255843914d7458d8488a3a Mon Sep 17 00:00:00 2001 From: Tamer Tas Date: Sat, 20 Aug 2016 10:11:59 +0300 Subject: [PATCH] docs/devel: document the behavior of github UI for PRs --- docs/devel/development.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/devel/development.md b/docs/devel/development.md index eea858ff9fd..54b94e8a1b8 100644 --- a/docs/devel/development.md +++ b/docs/devel/development.md @@ -225,6 +225,8 @@ git push -f origin my-feature 2. Click the "Compare & pull request" button next to your "my-feature" branch. 3. Check out the pull request [process](pull-requests.md) for more details +**Note:** If you have write access, please refrain from using the GitHub UI for creating PRs, because GitHub will create the PR branch inside the main repository rather than inside your fork. + ### When to retain commits and when to squash Upon merge, all git commits should represent meaningful milestones or units of