Skip to content

Add optional github-token secret to auto-merge workflow#15

Open
endrju19 wants to merge 1 commit intomainfrom
extend-secrets
Open

Add optional github-token secret to auto-merge workflow#15
endrju19 wants to merge 1 commit intomainfrom
extend-secrets

Commits

Commits on Feb 12, 2026