mirror of
https://github.com/sharkdp/bat.git
synced 2024-09-07 03:41:30 +02: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. |
||
---|---|---|
.. | ||
ISSUE_TEMPLATE | ||
workflows | ||
.codecov.yml | ||
dependabot.yml | ||
FUNDING.yml |