-
Notifications
You must be signed in to change notification settings - Fork 4
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
Automate index updates and packaging #2
Comments
re task 1: How should we address if a pull request is not attended in a day? |
Good question! I think we should overwrite the branch corresponding to PR. Also, now that I think about it, the latest release and attachments should be commited only on merge, not when PR is created. |
Based on thinking about this and discussions, here's the revisited proposed behavior of the GHA for facilitating index updates:
|
@vkt1414 we discussed this with JC, and with the new layout of the repositories, it makes sense to move queries from |
@vkt1414 I suggest we add 2 GitHub actions:
queries
folder, and save the result of each query as<query_prefix>.csv.zip
in the "latest" releaseWhat do you think? Did I miss anything?
The text was updated successfully, but these errors were encountered: