Skip to content

git-node-land: lease? #172

@srl295

Description

@srl295

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?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions