search

automerge / automerge-repo-rs

MIT License
39 stars 6 forks source link

Cleanups and changes for the integration #20

Closed gterzian closed 1 year ago

gterzian commented 1 year ago

Bits and pieces that come up as I try to integrate...

gterzian commented 1 year ago

Note that we should not delete the branch when merging, because the integration still depends on it.