Skip to content

poly-commitment: wrap at 80 chars#3269

Merged
dannywillems merged 1 commit into
masterfrom
dw/automatic-wrap-80-chars-poly-commit
Jul 9, 2025
Merged

poly-commitment: wrap at 80 chars#3269
dannywillems merged 1 commit into
masterfrom
dw/automatic-wrap-80-chars-poly-commit

Conversation

@dannywillems
Copy link
Copy Markdown
Contributor

Always better to read on tables or phones or small terminals.

@dannywillems dannywillems force-pushed the dw/automatic-wrap-80-chars-poly-commit branch 2 times, most recently from 2101bf8 to de81051 Compare June 18, 2025 22:44
@dannywillems dannywillems enabled auto-merge June 19, 2025 12:22
@dannywillems dannywillems force-pushed the dw/automatic-wrap-80-chars-poly-commit branch 3 times, most recently from be7ad6b to 3c510f4 Compare July 9, 2025 13:29
Always better to read on tables or phones or small terminals.
@dannywillems dannywillems force-pushed the dw/automatic-wrap-80-chars-poly-commit branch from 3c510f4 to b84fca4 Compare July 9, 2025 14:30
@dannywillems dannywillems merged commit 682b08f into master Jul 9, 2025
26 checks passed
@dannywillems dannywillems deleted the dw/automatic-wrap-80-chars-poly-commit branch July 9, 2025 14:53
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.

2 participants