Skip to content

Commit

Permalink
Remove bors.toml
Browse files Browse the repository at this point in the history 
This PR is meant to test our merge queue integration.

If it merges cleanly and the release step works, we will no longer need
to use Bors.
  • Loading branch information
@blampe
blampe committed Aug 9, 2023
1 parent bae2913 commit dcd5e40
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions bors.toml
View file

This file was deleted.

0 comments on commit dcd5e40

Please sign in to comment.