mirror of
https://github.com/sharkdp/bat.git
synced 2025-02-07 13:41:14 +00:00
This opens up future possibilities: * GitHub's auto-merge feature that merges a PR once CI passes * Auto-merge of dependabot PRs that pass CI But before we do any of that we need to have this new job active for a while to see that it works.