scientific-python / summit-2024

1 stars 0 forks source link

TOOL: github username vs ID #15

Closed bsipocz closed 1 month ago

bsipocz commented 6 months ago

Small tool that check if the usernames in the teams repo still matched their IDs (so we don't need to track people with an integer, but can keep using the username relatively safely).

I suppose this should be run on a cron and email org owners when a discrepancy appears