Skip to content

Commit

Permalink
Remove old bors.toml
Browse files Browse the repository at this point in the history
This seems to be an artifact from when we used bors rather than GitHub
Actions.
  • Loading branch information
joshtriplett committed Jun 2, 2022
1 parent 97a2fbe commit 6852812
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions bors.toml

This file was deleted.

0 comments on commit 6852812

Please sign in to comment.