Github Bors Merge

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

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください
作者
sanket0896
1日のインストール数
0
累計インストール数
6
評価
0 0 0
バージョン
0.1
作成日
2023/03/16
更新日
2023/03/16
大きさ
4.41KB
ライセンス
不明
対象サイト

関連スクリプトもお試しください:

长期地址
遇到问题?请前往 GitHub 提 Issues。