Skip to content

PR in Github Actions #68

Open
Open
PR in Github Actions#68
Labels
questionFurther information is requested
@npikall

Description

@npikall
npikall
opened on Mar 6, 2025

Do we want make Pull Requests instead of pushing to avoid possible merging conflicts in the future?
https://github.com/marketplace/actions/create-pull-request

Metadata

Metadata

Assignees

No one assigned

    Labels

    questionFurther information is requested

    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