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

Alternate names for exercises #6

Closed
wants to merge 2 commits into from
Closed

Alternate names for exercises #6

wants to merge 2 commits into from

Conversation

IgnisDa
Copy link

@IgnisDa IgnisDa commented Aug 10, 2023

Fixes #3.

@yuhonas
Copy link
Owner

yuhonas commented Aug 14, 2023

Hey @IgnisDa looks like the dist/exercises.json is out of date, can you commit an updated version using make dist/exercises.json as you've added the new alternative names, also out of interest have you added any alternative names or just the schema/potential for it? it's a big commit so it's difficult to tell

@IgnisDa
Copy link
Author

IgnisDa commented Aug 14, 2023

I haven't added alternate names for around 5 exercises 😅. It is pretty difficult to reconcile differences.

@IgnisDa
Copy link
Author

IgnisDa commented Aug 14, 2023

If you want, I can send you the exercisedb dataset and you can help me too?

@yuhonas
Copy link
Owner

yuhonas commented Aug 16, 2023

If you want, I can send you the exercisedb dataset and you can help me too?

Sure send them over @IgnisDa I can take a look

@IgnisDa
Copy link
Author

IgnisDa commented Aug 16, 2023

It's a 300mb dataset. How do I send it to you?

@IgnisDa IgnisDa closed this by deleting the head repository Sep 15, 2023
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.

Alternate names for exercises
2 participants