def github_pull_request_merge(registry, xml_parent, data):
 osb = XML.SubElement(xml_parent, 'org.jenkinsci.plugins.ghprb.GhprbPullRequestMerge')
 mapping = [('only-admins-merge', 'onlyAdminsMerge', 'false'), ('disallow-own-code', 'disallowOwnCode', 'false'), ('merge-comment', 'mergeComment', ''), ('fail-on-non-merge', 'failOnNonMerge', 'false'), ('delete-on-merge', 'deleteOnMerge', 'false')]
 helpers.convert_mapping_to_xml(osb, data, mapping, fail_required=True)

def github_pull_request_merge ( registry , xml_parent , data ) : osb = XML . SubElement ( xml_parent , 'org.jenkinsci.plugins.ghprb.GhprbPullRequestMerge' ) mapping = [ ( 'only-admins-merge' , 'onlyAdminsMerge' , 'false' ) , ( 'disallow-own-code' , 'disallowOwnCode' , 'false' ) , ( 'merge-comment' , 'mergeComment' , '' ) , ( 'fail-on-non-merge' , 'failOnNonMerge' , 'false' ) , ( 'delete-on-merge' , 'deleteOnMerge' , 'false' ) ] helpers . convert_mapping_to_xml ( osb , data , mapping , fail_required = True )
yaml: github-pull-request-merge this action merges the pull request that triggered the build requires the jenkins :jenkins-wiki:github pull request builder plugin <github+pull+request+builder+plugin> .