I've never done a github pull request before. When I went to make the update, I went back and forth on how to do it (re-create the branch with the same name/create a new branch/ammend the commit and force a push). I googled around and it seemed like the more "github"y way to do it was to create a new commit with the changes which automatically updated the pull request. If you'd prefer something different, let me know.
On Dec 19, 2013, at 6:53 PM, Jhon Honce <jhonce redhat com> wrote: