replace bors with merge queue #37

Closed richardeoin closed 1 year ago