Code

Ignore PRs once repo is archived#45

Code

Closed

ghickman wants to merge 6 commits intomainebmdatalab/metrics:mainfrom backfill-with-graphqlebmdatalab/metrics:backfill-with-graphqlCopy head branch name to clipboard

+210-153

Commits

Commits on Nov 22, 2023

• Add merged to daily GitHub ingestor code path

  ghickman

  committed
  5988950

• Switch GitHub backfill to use the GraphQL API

  ghickman

  committed
  a5714e2

Commits on Nov 23, 2023

• Track archived state of repos

  ghickman

  committed
  e46589e

• wrap dates at the point they're exposed

  Show description for 9a30a7d
  ghickman

  committed
  9a30a7d

• Stop tracking PRs once their repo has been archived

  ghickman

  committed
  d5f91d6

Commits on Nov 24, 2023

• Remove unnecessary filtering of org PRs

  ghickman

  committed
  1f9225b