Skip to content

Conversation

@miedema-11
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the pwgud label Jan 17, 2026
@github-actions github-actions bot changed the title default cut [PWGUD] default cut Jan 17, 2026
@github-actions
Copy link

github-actions bot commented Jan 17, 2026

O2 linter results: ❌ 0 errors, ⚠️ 13 warnings, 🔕 0 disabled

@miedema-11 miedema-11 force-pushed the master branch 3 times, most recently from 302aa35 to 7cd065c Compare January 19, 2026 08:34
@vkucera
Copy link
Collaborator

vkucera commented Jan 19, 2026

@miedema-11 Your PR title is too vague. Please use a meaningful title that summarises what was changed and where.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

3 participants