check if patch exists in repo

Author: migueldiascosta

easybuild/tools/github.py

@@ -1783,10 +1783,10 @@ def new_pr(paths, ecs, title=None, descr=None, commit_msg=None):
     res = new_branch_github(paths, ecs, commit_msg=commit_msg)
     file_info, deleted_paths, _, branch_name, diff_stat, pr_target_repo = res
 
-    for ec in file_info['ecs']:
+    for ec, ec_path in zip(file_info['ecs'], file_info['paths_in_repo']):
         for patch in ec.asdict()['patches']:
-            if patch not in paths['patch_files']:
-                print_warning("%s, referenced by %s, is not included in this PR" % (patch, ec.filename()))
+            if patch not in paths['patch_files'] and not os.path.isfile(os.path.join(os.path.dirname(ec_path), patch)):
+                print_warning("new patch %s, referenced by %s, is not included in this PR" % (patch, ec.filename()))
 
     new_pr_from_branch(branch_name, title=title, descr=descr, pr_target_repo=pr_target_repo,
                        pr_metadata=(file_info, deleted_paths, diff_stat), commit_msg=commit_msg)