mirror of
https://github.com/sharkdp/bat.git
synced 2025-04-12 22:00:38 +01: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.