Cache GitHub handles #521

New issue

Open

opened 2025-04-28 18:33:12 +00:00 by fricklerhandwerk · 0 comments

fricklerhandwerk commented

2025-04-28 18:33:12 +00:00

(Migrated from github.com)

Possible ways to do that:

Simply cache the information when resolving the name from the ID
Cache it when processing the webhook (and also on initial sync)

Since the only stable identifier for GitHub users is the ID, and the handle may change but we need to ping maintainers by name, we need to keep the mapping ID->handle up to date. Calling GitHub for every single handle would be unfortunate, so we should cache that information. Possible ways to do that: - Simply cache the information when resolving the name from the ID - Cache it when processing the webhook (and also on initial sync)