Add init_db.sh script for database initialization and migration#241
Add init_db.sh script for database initialization and migration#241Abdulrahman-Elfeky wants to merge 1 commit intorust-lang:mainfrom
Conversation
|
Hi! Could you please provide a bit more info, what's the motivation for this? Do you think that the instructions in https://github.com/rust-lang/bors/blob/main/docs/development.md are too complicated and we should have a script for initing the DB? It's kind of hard to predict what environment people have, such scripts will necessarily not work for some people, so I usually rather provide more atomic commands that people can mix & match. The linker development guide could probably be rewritten to be clearer on what to do if you want to develop on bors though. Maybe that would be better than the script? :) |
|
U broke my heart 💔😅 |
|
I think that a better approach would be to use something like So I'm going to close this, but if you'd like to experiment with the |
How it works?