Skip to content

ci: update sync-headers to close old PRs, better PR text#44

Merged
legendecas merged 1 commit intomainfrom
cleanup-header-sync-action
Jul 9, 2024
Merged

ci: update sync-headers to close old PRs, better PR text#44
legendecas merged 1 commit intomainfrom
cleanup-header-sync-action

Commits

Commits on Jul 9, 2024