Skip to content

Commit

Permalink
ci: remove bors-related configuration (#1)
Browse files Browse the repository at this point in the history
## Summary
Now that we are using Merge Queue, there is no reason to have bors stuff
lying around.

---
<!-- Note: section break (`---`) onwards is not in CI merge commit -->

## Notes for Reviewers
* leave additional context for reviewers
* maybe specific requests or areas of focus

<!--
Pull Request(PR) Help

Before Merge Ensure:
* title reads like a short changelog line entry
* code includes tests and is documented
* leave the source better than before, but split out big reformats

See contributor
(guide)[https://nim-works.github.io/nimskull/contributing.html]
for details, especially if you're new to this project.

Tips that make PRs easier:
* for big/impactful changes, start with chat/discussions to refine ideas
* refine the pull request message over time; don't have to nail it in
one go
* handle the single commit message requirement at the end of review
  • Loading branch information
alaviss authored Apr 20, 2023
1 parent a8de5a6 commit 52af352
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 46 deletions.
32 changes: 0 additions & 32 deletions .github/workflows/pr-req.yml

This file was deleted.

14 changes: 0 additions & 14 deletions bors.toml

This file was deleted.

0 comments on commit 52af352

Please sign in to comment.