8000 Investigate solution to prevent running on push and pull_request for same commit · Issue #762 · biocommons/hgvs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Investigate solution to prevent running on push and pull_request for same commit #762
Closed as not planned
@reece

Description

@reece

Is your feature request related to a problem? Please describe.

Commits to a PR-associated branch run twice: once for the push and once for the PR. Don't do that.

Describe the solution you'd like

I've found plenty of inelegant solutions. There must be something better. Find it.

Metadata

Metadata

Assignees

No one assigned

    Labels

    closed-by-staleenhancementNew feature or requeststaleIssue is stale and subject to automatic closing

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0