Skip to content

Don't use "dirty" as user facing term#3962

Merged
BeckerWdf merged 1 commit intomasterfrom
no_dirty
May 5, 2026
Merged

Don't use "dirty" as user facing term#3962
BeckerWdf merged 1 commit intomasterfrom
no_dirty

Conversation

@BeckerWdf
Copy link
Copy Markdown
Member

Relates to:#3961

@BeckerWdf BeckerWdf requested a review from vogella May 4, 2026 13:43
@vogella
Copy link
Copy Markdown
Contributor

vogella commented May 4, 2026

Just go ahead with merging such changes, I feel that I don't have time for text only changes which we already agreed upon.

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented May 4, 2026

Test Results

   852 files  ±0     852 suites  ±0   53m 31s ⏱️ - 4m 27s
 7 940 tests ±0   7 697 ✅ ±0  243 💤 ±0  0 ❌ ±0 
20 322 runs  ±0  19 667 ✅ ±0  655 💤 ±0  0 ❌ ±0 

Results for commit 5121e64. ± Comparison against base commit 4888468.

@BeckerWdf BeckerWdf merged commit 89dc1d5 into master May 5, 2026
18 of 19 checks passed
@BeckerWdf BeckerWdf deleted the no_dirty branch May 5, 2026 06:15
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