Skip to content
This repository has been archived by the owner on Nov 4, 2023. It is now read-only.
/ bors-extension Public archive

Add a `[bors r+]` button to GitHub's PR Review interface

License

Notifications You must be signed in to change notification settings

bors-ng/bors-extension

Repository files navigation

About

Add a `[bors r+]` button to GitHub's PR Review interface

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •