Skip to content

Optionally supply id to pr_finish() #1040

Closed
Closed
Optionally supply id to pr_finish()#1040
Labels
featurea feature request or enhancementgitgit, GitHub, and CI in general
@hadley

Description

@hadley
hadley
opened on Mar 11, 2020

So you can finish a PR without first having to fetch it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    featurea feature request or enhancementgitgit, GitHub, and CI in general

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions