Skip to content

formal: fix minor typo in cherry-pick#88

Merged
robimarko merged 1 commit intoopenwrt:mainfrom
mkrle:fix-cherrypick-typo
Feb 12, 2026
Merged

formal: fix minor typo in cherry-pick#88
robimarko merged 1 commit intoopenwrt:mainfrom
mkrle:fix-cherrypick-typo

Conversation

@mkrle
Copy link
Contributor

@mkrle mkrle commented Jan 27, 2026

Fix a minor typo in cherry-pick warning message.

@mkrle
Copy link
Contributor Author

mkrle commented Jan 27, 2026

Of course I only noticed #79 after submitting the PR, so feel free to ignore if the new action will come soon-ish.

@GeorgeSapkin
Copy link
Member

I think this is safe to merge. Newer formality checks are in a separate action that replaces this. In the meanwhile, you can add a Fixes: tag so the issue is closed when this is merged:

Fixes: https://github.com/openwrt/actions-shared-workflows/issues/79

Fix a minor typo in cherry-pick warning message.

Fixes: openwrt#79
Signed-off-by: Milan Krstic <milan.krstic@gmail.com>
@mkrle mkrle force-pushed the fix-cherrypick-typo branch from 6ee1cc9 to 2acf9b6 Compare January 27, 2026 20:34
@robimarko robimarko merged commit fbdc46e into openwrt:main Feb 12, 2026
1 check passed
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.

3 participants