Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Added SummalyBot User-Agent #387

Merged
merged 1 commit into from
Feb 11, 2025

Conversation

jpjacobpadilla
Copy link
Contributor

User-Agent for the SummalyBot.

@monperrus
Copy link
Owner

diff does not look all right, Git is on our way.

@jpjacobpadilla jpjacobpadilla force-pushed the new-useragent/summalybot branch from 2dcbd0b to 23a8a8e Compare February 11, 2025 17:44
@jpjacobpadilla
Copy link
Contributor Author

Phew, looks like it's all good now.

@monperrus monperrus merged commit 0197836 into monperrus:master Feb 11, 2025
1 check passed
@monperrus
Copy link
Owner

thanks @jpjacobpadilla

@jpjacobpadilla
Copy link
Contributor Author

You're welcome! If I find any more user agents, I'll try to not cause so many merge conflicts next time :).

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