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)

Github Pull-Requests

Suggested Developer Workflow

...