Skip to content

Generate app headers - #123

Merged
MickLesk merged 1 commit into
mainfrom
chore/generate-headers
Oct 11, 2026
Merged

MickLesk merged 1 commit into
mainfrom
chore/generate-headers

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

Regenerated automatically from the script repositories.

Headers are derived artifacts — edit the APP= line in the script
instead, and this workflow follows.

@github-actions github-actions Bot added the automated pr Automated pull request label Oct 8, 2026
@github-actions
github-actions Bot force-pushed the chore/generate-headers branch 2 times, most recently from 8c767f5 to 0e9703b Compare October 9, 2026 10:09
Regenerated with figlet from the APP= line of every script in
ProxmoxVE, DevScripts and Incus.
@github-actions
github-actions Bot force-pushed the chore/generate-headers branch from 0e9703b to 6cef362 Compare October 9, 2026 22:17
@MickLesk
MickLesk merged commit 82a2e72 into main Oct 11, 2026
@github-actions
github-actions Bot deleted the chore/generate-headers branch October 11, 2026 08:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated pr Automated pull request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant