GitHub repository: BRAEVincent52bae/autointegrator
Description: A GitHub bot that automatically ports merge commits to one or more branches