Closed zegl closed 1 year ago
We don't really need bors anymore. Let's move back to the default GitHub workflows.
We don't really need bors anymore. Let's move back to the default GitHub workflows.