Merge pull request #2478 from migueldiascosta/duplicate_titles_new_pr

remove duplicates from --new-pr title

Author: boegel

easybuild/tools/github.py

@@ -1095,7 +1095,7 @@ def new_pr(paths, ecs, title=None, descr=None, commit_msg=None):
             title = commit_msg
         elif file_info['ecs'] and all(file_info['new']) and not deleted_paths:
             # mention software name/version in PR title (only first 3)
-            names_and_versions = ["%s v%s" % (ec.name, ec.version) for ec in file_info['ecs']]
+            names_and_versions = nub(["%s v%s" % (ec.name, ec.version) for ec in file_info['ecs']])
             if len(names_and_versions) <= 3:
                 main_title = ', '.join(names_and_versions)
             else: