Skip to content

Update default user agent#3

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
user-agent-updates
Open

Update default user agent#3
github-actions[bot] wants to merge 1 commit into
mainfrom
user-agent-updates

Conversation

@github-actions

Copy link
Copy Markdown

Update default user agent.

Following files may be touched:

  • defaults/settings.json

@github-actions github-actions Bot force-pushed the user-agent-updates branch from 355df80 to 7f8d115 Compare June 14, 2026 09:47
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