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.

Sign up for GitHub

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

Jump to bottom

Clean up badges #3935

Closed
2 tasks done
nlohmann opened this issue Jan 31, 2023 · 2 comments · Fixed by #3937
Closed
2 tasks done

Clean up badges #3935

nlohmann opened this issue Jan 31, 2023 · 2 comments · Fixed by #3937
Labels
documentation good first issue solution: proposed fix a fix for the issue has been proposed and waits for confirmation
Milestone
Release 3.11.3

Comments

@nlohmann
Copy link
Owner

nlohmann commented Jan 31, 2023 •
edited
Loading

Description
@haadfida
Copy link
Contributor

haadfida commented Feb 1, 2023

may I work on this?

@nlohmann
Copy link
Owner Author

nlohmann commented Feb 1, 2023

Sure!

@haadfida haadfida mentioned this issue Feb 1, 2023
Merged
4 tasks
@nlohmann nlohmann added this to the Release 3.11.3 milestone Feb 1, 2023
@nlohmann nlohmann added the solution: proposed fix a fix for the issue has been proposed and waits for confirmation label Feb 1, 2023
@nlohmann nlohmann mentioned this issue Nov 28, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation good first issue solution: proposed fix a fix for the issue has been proposed and waits for confirmation
Projects
None yet
Milestone
Release 3.11.3
Development

Successfully merging a pull request may close this issue.

3935, removed lgtm badge and added Cirrus CI badge haadfida/json
2 participants
@nlohmann @haadfida