Github Bors Merge

Adds a button to easily start/stop PR merge when using bors

Author

sanket0896

Daily installs

Total installs

Ratings

0 0 0

Version

0.1

Created

2023-03-16

Updated

2023-03-16

Size

4.41 KB

License

N/A

Applies to

You can also try these related scripts:

GitHub Internationalization - Translate GitHub.com
Github Enhancement - High Speed Download - High-speed download of Git Clone/SSH, Release, Raw, Code(ZIP) and other files (Based on public welfare), project list file quick download (☁)
GitHub Internationalization - Translate GitHub
GitHub Mirror - GitHub mirror. Accelerate access to GitHub. Support Clone, Release, RAW and ZIP acceleration.
github-go-deepwiki - github仓库跳转到deepwiki