pikelet
pikelet copied to clipboard
Use Bors for merging PRs
This would mean that we wouldn't need to wait around for the CI to pass before merging. Also makes use look more 'legit'!
https://bors.tech/