diff --git a/src/main/java/org/jenkinsci/plugins/github_branch_source/GitHubSCMSource.java b/src/main/java/org/jenkinsci/plugins/github_branch_source/GitHubSCMSource.java index 9ec85f1b8..ecbf953e8 100644 --- a/src/main/java/org/jenkinsci/plugins/github_branch_source/GitHubSCMSource.java +++ b/src/main/java/org/jenkinsci/plugins/github_branch_source/GitHubSCMSource.java @@ -2572,17 +2572,22 @@ public void observe(GHPullRequest pr) { GHUser user = null; try { user = pr.getUser(); - if (users.containsKey(user.getLogin())) { - // looked up this user already - user = users.get(user.getLogin()); + String login = user.getLogin(); + if ("copilot".equalsIgnoreCase(login)) { + ContributorMetadataAction contributor = + new ContributorMetadataAction("copilot", "copilot", "copilot@unknown.user"); + pullRequestContributorCache.put(number, contributor); + users.put("copilot", user); + } else { + if (users.containsKey(login)) { + user = users.get(login); + } + ContributorMetadataAction contributor = + new ContributorMetadataAction(login, user.getName(), user.getEmail()); + pullRequestContributorCache.put(number, contributor); + users.put(login, user); } - ContributorMetadataAction contributor = - new ContributorMetadataAction(user.getLogin(), user.getName(), user.getEmail()); - pullRequestContributorCache.put(number, contributor); - // store the populated user record now that we have it - users.put(user.getLogin(), user); } catch (FileNotFoundException e) { - // If file not found for user, warn but keep going request.listener() .getLogger() .format(