-
Notifications
You must be signed in to change notification settings - Fork 9
Zero diff changes
Tom Clune edited this page Aug 29, 2019
·
12 revisions
Option A: If you have never shared your feature branch with anyone, and have not yet pushed it to GitHub
Use git rebase
% git checkout develop
% git pull origin
% git checkout <feature-branch>
% git rebase develop
If there are conflicts, you need to resolve them and commit. (See ????)
% git checkout develop
% git pull origin
% git checkout <feature-branch>
% git merge develop
If there are conflicts, you need to resolve them and commit. (See ???)
- baseline from head of develop branch
- evaluation version from your feature branch
- baseline
- evaluation
cdo <baseline-exp>/scratch/... <feature-exp>/scratch/...
- If there are merge conflicts, fix them on the feature branch and repeat 1.2, 2.2, and 3 until there are none.
- Push your feature branch to github if you have not already.
- If the PR corresponds to an open issue #xxx, please start the PR subject with
Fixes #xxx
(probably should include a screen shot here)
1. CODEOWNERs teams will inspect all code changes to ensure that the changes appear sensible and that implementation quality is acceptable. CODEOWNERs may request changes. If nontrivial changes are required, the verifications above will need to be repeated.
- Click merge button
- Click confirm button
- Click delete branch button
Note: The head of the develop branch may have changed by the time the gatekeepers get to your PR. Usually this will not affect zero-diff changes, but they may ask you to merge the latest develop into your feature branch and repeat the verification steps above.