Skip to content

Add available Digger commands as PR comment #756

New issue
New issue
Open
Open
Add available Digger commands as PR comment#756
Labels
enhancementNew feature or requestuser-reported
@ZIJ

Description

@ZIJ
ZIJ
opened on Nov 8, 2023

So that users know what actions can be taken - helps with teaching users

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or requestuser-reported

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions