Github Bors Merge

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

ავტორი
sanket0896
დღიური ინსტალაციები
0
მთლიანი ინსტალაციები
6
რეიტინგი
0 0 0
ვერსია
0.1
შექმნილია
16.03.2023
განახლებულია
16.03.2023
Size
4,41 KB
ლიცენზია
პ/გ
გამოყენებს მათ

You can also try these related scripts: