Open DilumAluthge opened 4 days ago
@MichaelHatherly @jkrumbiegel Which would you prefer to use on this repo? GitHub Merge Queue, or Kodiak mergebot?
Both are ok, maybe just use merge queue for consistency
Merge queue should be used.
@MichaelHatherly @jkrumbiegel Which would you prefer to use on this repo? GitHub Merge Queue, or Kodiak mergebot?