Git-mergify-rebase: merge or rebase Git changes one commit at a timegithub.com/CTSRD-CHERI1 pointpabs35 years ago