Skip to content

Also skip Pages redeploy for LICENSE-only changes#25

Merged
dubsector merged 1 commit into
mainfrom
chore/license-paths-ignore
Jul 5, 2026
Merged

Also skip Pages redeploy for LICENSE-only changes#25
dubsector merged 1 commit into
mainfrom
chore/license-paths-ignore

Conversation

@dubsector

Copy link
Copy Markdown
Owner

Extends the paths-ignore added in #24 to cover LICENSE too.

@dubsector
dubsector merged commit 083c837 into main Jul 5, 2026
4 checks passed
@dubsector
dubsector deleted the chore/license-paths-ignore branch July 5, 2026 23:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant