Giters

Clever / microplane

A CLI tool to make git changes across many repos, especially useful with Microservices.

Home Page:https://medium.com/always-a-student/mo-repos-mo-problems-how-we-make-changes-across-many-git-repositories-293ad7d418f0

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Closed PR was merged

figadore opened this issue · comments

commented

After running mp push, a PR was supposed to be excluded from the batch updates was closed in the GitHub UI. Then mp merge was run. The closed PR was merged anyway. This seems like undesirable behavior.