Skip to content

Add so it only restarts when it pushes to the main branch. Not pull requests #23

Open
Open
Add so it only restarts when it pushes to the main branch. Not pull requests#23
@thatgurkangurk

Description

@thatgurkangurk
thatgurkangurk
opened on Nov 23, 2021

It would be great if it did not try to restart the repl when it is in a PR on GitHub.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions