Skip to content

Comments

Eliminate args Jargon#144

Merged
agl-alexglopez merged 1 commit intomainfrom
eliminate-args-abbreviation
Jan 19, 2026
Merged

Eliminate args Jargon#144
agl-alexglopez merged 1 commit intomainfrom
eliminate-args-abbreviation

Conversation

@agl-alexglopez
Copy link
Collaborator

Following project rules. No abbreviations or jargon in user facing headers.

@agl-alexglopez agl-alexglopez marked this pull request as ready for review January 19, 2026 17:57
@agl-alexglopez agl-alexglopez merged commit 8509396 into main Jan 19, 2026
7 checks passed
@agl-alexglopez agl-alexglopez deleted the eliminate-args-abbreviation branch January 19, 2026 17:59
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.

1 participant