-
Notifications
You must be signed in to change notification settings - Fork 125
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
Script usage documentation is not up-to-date in the github wiki #431
Comments
CI actually runs it, but because of permissions I can't update PRs from others forks, so all it does is create its own PR if running the db creation creates changes. |
Sorry, I think I misunderstood your issue. I thought you're talking about running the script compiling the db, but you're talking about updating the help replicated in the wiki? I can look into that, yeah. |
Yes, that is what I meant. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It would be nice if CI would be able to update that automatically. I don't know if that is possible, but it might be worth looking into.
The text was updated successfully, but these errors were encountered: