• loathesome dongeater
    13•1 year ago

    Merged PR count is 882 (checked from the GraphQL API). The closed tab includes PRs that were closed without merging.

    • DessalinesOPA
      9•1 year ago

      Ah dang, more than 100 still to go.

    • PicoBlaanket
      5•1 year ago

      The “1000 PR Attempts” trophy then

  • ☆ Yσɠƚԋσʂ ☆
    10•1 year ago

    Exciting to see there is a lot of active development and community participation on the project. 🥳

  • @federico3
    -5•1 year ago

    That’s not an achievement.