The412Banner 38df1e8141 CI: full history for the pull-request merge (the depth expression came out shallow), and git's own words when a merge cannot start

2026-09-22 21:40:22 -04:00

..

scripts

CI: pull requests build on pull_request_target (a conflicting one never fires pull_request); README: contributors and a ledger of their pull requests kept by a workflow

2026-09-22 21:38:40 -04:00

workflows

CI: full history for the pull-request merge (the depth expression came out shallow), and git's own words when a merge cannot start

2026-09-22 21:40:22 -04:00