Skip to content

[pull] main from dwmkerr:main - #42

Merged
pull[bot] merged 2 commits into
Uncodedtech:mainfrom
dwmkerr:main
Sep 1, 2026
Merged

[pull] main from dwmkerr:main#42
pull[bot] merged 2 commits into
Uncodedtech:mainfrom
dwmkerr:main

Conversation

@pull

@pull pull Bot commented Sep 1, 2026

Copy link
Copy Markdown

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 馃挅 Please sponsor : )

The all-contributors list held one name out of more than a hundred. The
rc file was created by the bot in June 2025 when the first contributor
was added, and the bot only ever records people added through it, so the
list was never backfilled.

Rebuild it from the full history. The GitHub contributors API alone is
not enough: it misses twelve people whose commit email is not linked to
their account. Those were recovered by looking up the pull request each
commit arrived in, which names the real author.

That gives 100 contributors with live accounts, 28 of whom worked on
translations and are marked as such. Two more, David Higgins and Pepe
Bawagan, have since closed their GitHub accounts and so cannot appear in
the table; they are credited by name below it, outside the bot's markers
so they are not removed.

Claude-Session: https://claude.ai/code/session_01GCGKMxtTWtzjUzod5roGit
fix: backfill the complete contributor list
@pull pull Bot locked and limited conversation to collaborators Sep 1, 2026
@pull pull Bot added the 猡碉笍 pull label Sep 1, 2026
@pull
pull Bot merged commit 3bc7a05 into Uncodedtech:main Sep 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant