-
Notifications
You must be signed in to change notification settings - Fork 118
Closed
Description
Per the collaborator's guide, I end up with:
$ git push --force-with-lease srl295 master:icu-add-using
this gives the little purple "merged" badge as per nodejs/node#18667 thus not needing to close the PR yourself with "Landed in b8f47b27571f8d763f811f017be3fb37d466c4fc"
could/should the tool suggest this step?