Gregory's ServerWhen I was preparing the presentation I wanted some stats, and when I saw them I had to double-check some of the numbers! From July 2023 to end of June 2024 we had:
* 669 opened pull requests
* 571 merged pull requests
* 35 developers (17 new this year)
* 192 people discussing issues (94 new this year)
* 137 new translators
* A new maintainer
* A new issue triager
... leading to a whole bunch of new and improved features.
It's been quite an impressive last 12 months!
@gravitystorm Thanks Andy, this was good to skim through! Especially glad to see rate limits and bounding box limits for new and recently-restricted users. Keep up the good work.