aboutsummaryrefslogtreecommitdiff
path: root/.github/bors.toml
Commit message (Collapse)AuthorAgeFilesLines
* Delete .github/bors.tomlDario Nieuwenhuis2023-09-011-4/+0
|
* Tell bors to delete merged branchesGrant Miller2022-03-141-0/+1
|
* Add borsDario Nieuwenhuis2021-10-121-0/+3