Add PULL_REQUEST to parameters

Author: gartung

process_pr.py

@@ -98,6 +98,7 @@ def create_properties_file_tests(repository, pr_number, cmsdist_pr, cmssw_prs, d
   out_file_name = 'trigger-%s-%s-%s.properties' % (req_type, repo_partsX, pr_number)
   parameters = {}
   parameters['REPOSITORY']=repository
+  parameters['PULL_REQUEST']=pr_number
   if extra_prop:
     for x in extra_prop:
       parameters[x]=extra_prop[x]