Skip to content

Generate app headers - #222

Merged
MickLesk merged 1 commit into
mainfrom
chore/generate-headers
Nov 9, 2026
Merged

MickLesk merged 1 commit into
mainfrom
chore/generate-headers

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 9, 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 Nov 9, 2026
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 7864a9c to 900597b Compare November 9, 2026 12:09
@MickLesk
MickLesk merged commit 5514fdf into main Nov 9, 2026
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