mirror of
https://github.com/sharkdp/bat.git
synced 2025-01-19 04:21:06 +00:00
48dc2b0d90
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.