Skip to content

Commit

Permalink
chore: lint
Browse files Browse the repository at this point in the history
  • Loading branch information
zugdev committed Dec 17, 2024
1 parent c1020a3 commit d1f30f7
Showing 1 changed file with 12 additions and 12 deletions.
24 changes: 12 additions & 12 deletions src/home/fetch-github/fetch-data.ts
Original file line number Diff line number Diff line change
Expand Up @@ -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<string>,
devpoolRepos: Set<string>,
notifications: GitHubNotification[],
pullRequests: GitHubPullRequest[],
issues: GitHubIssue[]
Expand Down Expand Up @@ -213,18 +213,18 @@ function countBacklinks(aggregated: GitHubAggregated, allPullRequests: GitHubPul
}

function getDevpoolRepos(pullRequests: GitHubPullRequest[], issues: GitHubIssue[]): Set<string> {
const uniqueNames = new Set<string>();
const uniqueNames = new Set<string>();

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
Expand Down

0 comments on commit d1f30f7

Please sign in to comment.