Incremental merge for git
GPL-2.0 License
Quickly rewrite git repository history (filter-branch replacement)
Determine when a particular commit was merged into a git branch