From d1f30f72f18fe41bc6da07915a165fab66afa39c Mon Sep 17 00:00:00 2001 From: zugdev Date: Tue, 17 Dec 2024 04:34:59 -0300 Subject: [PATCH] chore: lint --- src/home/fetch-github/fetch-data.ts | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src/home/fetch-github/fetch-data.ts b/src/home/fetch-github/fetch-data.ts index ab6eacc..7ecef09 100644 --- a/src/home/fetch-github/fetch-data.ts +++ b/src/home/fetch-github/fetch-data.ts @@ -99,7 +99,7 @@ async function fetchIssueFromPullRequest(pullRequest: GitHubPullRequest, issues: // Function to fetch pull request notifications with related pull request and issue data export async function getPullRequestNotifications( - devpoolRepos: Set, + devpoolRepos: Set, notifications: GitHubNotification[], pullRequests: GitHubPullRequest[], issues: GitHubIssue[] @@ -213,18 +213,18 @@ function countBacklinks(aggregated: GitHubAggregated, allPullRequests: GitHubPul } function getDevpoolRepos(pullRequests: GitHubPullRequest[], issues: GitHubIssue[]): Set { - const uniqueNames = new Set(); + const uniqueNames = new Set(); - for (const pullRequest of pullRequests) { - const [ownerName, repoName] = pullRequest.base.repo.url.split("/").slice(-2); - uniqueNames.add(`${ownerName}/${repoName}`); - } - - for (const issue of issues) { - const [issueOwner, issueRepo] = issue.repository_url.split("/").slice(-2); - uniqueNames.add(`${issueOwner}/${issueRepo}`); - } - return uniqueNames; + for (const pullRequest of pullRequests) { + const [ownerName, repoName] = pullRequest.base.repo.url.split("/").slice(-2); + uniqueNames.add(`${ownerName}/${repoName}`); + } + + for (const issue of issues) { + const [issueOwner, issueRepo] = issue.repository_url.split("/").slice(-2); + uniqueNames.add(`${issueOwner}/${issueRepo}`); + } + return uniqueNames; } // Fetch all notifications and return them as an array of aggregated data