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

Fix #1910 #1912 #1913 #1914 #1915

Merged
merged 8 commits into from
Jun 25, 2024
Merged

Conversation

Gonzom
Copy link
Contributor

@Gonzom Gonzom commented Dec 22, 2023

@NovemLinguae
Copy link
Member

When you get a chance, please rebase this to fix a CI glitch.

@NovemLinguae
Copy link
Member

Pro tip for the future: when filing pull requests, you usually want to create a new git branch for each pull request. This lets you submit multiple pull requests at the same time, and lets me edit the pull request.

@siddharthvp siddharthvp merged commit eedcfc4 into wikimedia-gadgets:master Jun 25, 2024
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
3 participants