Fix GitHub pull request builder plugin support

Change-Id: Iac1d06be91b641f7fccfe2255247443363ba2e80