Completes pull request (...after some manual intervention ;-) )