Files
HackBrowserData/.github/workflows
RogerandGitHub df20f73b7a ci: auto-merge the generated contributors PR (#627)
Without it the bot PR sits until a human clicks merge, and every later push to main opens another duplicate — the action mints a fresh branch and PR each run with no dedup.
2026-08-02 20:57:51 +08:00
..