Skip to content

Should use_github_release() offer to push if needed? #1385

Closed
@hadley

Description

@hadley

Rather than erroring, as currently.

Metadata

Metadata

Assignees

No one assigned

    Labels

    featurea feature request or enhancementgitgit, GitHub, and CI in generalrelease 🛫

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions