Open gesellix opened 3 years ago
Relates to #20: GitHub's default is auto_merge=true, but we have disabled it for our internal use case.
auto_merge=true
Relates to #20: GitHub's default is
auto_merge=true
, but we have disabled it for our internal use case.