Skip to content

Support wildcard inclusion of sources with GitHub #2452

@koppor

Description

@koppor

Follow-up to #464

//SOURCES app/src/main/java/**/*.java

works locally, but not when fetched via GitHub.

$ jbang madrlint@koppor/madrlint
  [jbang] [WARN] Pattern app/src/main/java/**/*.java used while using URL to run;
  this could result in errors.

Related: https://github.com/orgs/jbangdev/discussions/2355

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    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