git pull https://github.com/user01/nutch.git fix-nutch-stuff(will find the remote github branch and merge locally)
- test and make sure PR works, etc. Fix conflicts, etc.
- Final 2 steps from Developer workflow guide (aka the merge of feature branch step and then the push to origin trunk)
Suggested Developer Workflow