Skip to content

Generate things #913

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

Closed
2 of 3 tasks
emcoding opened this issue Jan 13, 2019 · 5 comments
Closed
2 of 3 tasks

Generate things #913

emcoding opened this issue Jan 13, 2019 · 5 comments

Comments

@emcoding
Copy link
Contributor

emcoding commented Jan 13, 2019

@pgaspar Thanks for helping 💙

This things are ready to be generated:

@pgaspar
Copy link
Member

pgaspar commented Jan 13, 2019

@F3PiX took me a bit to realize the hint files were on open PRs #911 and #901 😅 I'm not sure if I have write permissions for this repo yet, but that'd be useful to contribute to the PR branches directly. cc @Insti

@emcoding
Copy link
Contributor Author

Sorry for the cryptic description Pedro. I'll ping you when there's a bunch ready to go. And I added the PR's, good point, thanks.

@emcoding
Copy link
Contributor Author

@pgaspar Could you run the Readme's for Series and OCR please? The adjustments for High Scores will take a while.

@pgaspar
Copy link
Member

pgaspar commented Jan 19, 2019

@F3PiX I marked this issue as resolved by the PRs above, so this will be closed when they are merged. I think it's best to have smaller issues for each thing we need to generate instead of having a long running issue that may confuse new comers. Hope that's ok!

@emcoding
Copy link
Contributor Author

That's perfect. Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants