tree f5a86a8100a7f63628d4707625c1e54e098b3350
parent 85ba261d0e0045586f444c2fbfae03832bd8e519
author Luca Milanesio <luca.milanesio@gmail.com> 1445336259 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1445510449 +0100

Refactor PullRequest import to use BatchUpdate.Op

GitHub plugin has been broken by the refactoring and pervasive use 
of BatchUpdate.Op in Gerrit on master. We do need to apply the same
style of refactoring to the GitHub plugin: this incidentally makes
the code simpler and more readable :-)

Change-Id: I31c4e51667967ca22b3a29301a9959bbd636b382