2 results found Sort:
👁 A merge bot for GitHub Pull Requests
This repository has been archived
(exclude archived)
Created
2016-12-29
2,485 commits to master branch, last one 9 months ago
Fast and flexible GitHub action to cherry-pick merged pull requests to selected branches
Created
2020-11-11
763 commits to main branch, last one 2 months ago