It should be enough for you to pull it as it says in the github-email to dev@ - and include "This closes #9" in the commit message. Push it to git.apache.org - and as it propagates back again to Github, they will automatically close the pull request.
On 28 October 2014 17:29, Rob Vesse <[email protected]> wrote: > Andy > > What steps did you use to merge the pull request? > > I would like to merge the pull request #9 but can't seem to see how? > > Rob > > On 28/10/2014 09:30, "Andy Seaborne" <[email protected]> wrote: > >>On 28/10/14 16:05, Stian Soiland-Reyes wrote: >>> I suggested a tiny fix to jena-csv/pom.xml so that it builds with the >>> latest Maven: >>> >>> https://github.com/apache/jena/pull/8 >>> >>> >>> >> >>Thx - also tests the git-email-commit-github path .. which seems to work >>quite nicely now. >> >> Andy > > > > -- Stian Soiland-Reyes, myGrid team School of Computer Science The University of Manchester http://soiland-reyes.com/stian/work/ http://orcid.org/0000-0001-9842-9718
