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