Skip to content

Set User-Agent header#383

Merged
mmwinther merged 1 commit intomainfrom
chore/set-user-agent
Feb 23, 2026
Merged

Set User-Agent header#383
mmwinther merged 1 commit intomainfrom
chore/set-user-agent

Conversation

@mmwinther
Copy link
Member

No description provided.

@mmwinther mmwinther requested a review from a team as a code owner February 16, 2026 13:56
@github-actions github-actions bot added the skip-changelog Changes that should be omitted from the release notes label Feb 16, 2026
@mmwinther mmwinther removed the skip-changelog Changes that should be omitted from the release notes label Feb 23, 2026
Copy link
Contributor

@tilen1976 tilen1976 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me

@mmwinther mmwinther merged commit 9c92711 into main Feb 23, 2026
20 checks passed
@mmwinther mmwinther deleted the chore/set-user-agent branch February 23, 2026 12:09
@mmwinther mmwinther added refactoring Refactoring labels Feb 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactoring Refactoring

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants