mirror of https://github.com/sharkdp/bat
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
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. |
1 year ago | |
---|---|---|
.. | ||
ISSUE_TEMPLATE | 2 years ago | |
workflows | 1 year ago | |
.codecov.yml | 4 years ago | |
FUNDING.yml | 3 years ago | |
dependabot.yml | 2 years ago |