-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Remove unused get_main_pkgs.sh script #6555
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
Remove unused get_main_pkgs.sh script #6555
Conversation
Hi @dmathieu , thanks for the approval! |
@meyank-ssh thanks for the contribution. This PR needs to remain open for a full working day before it can be merged. Please see the contributing docs for all the requirements to get a PR merged. It looks like you have enough reviews and the only thing we are waiting for is time at this point. Thanks again. |
This PR removes the
get_main_pkgs.sh
script as it is no longer used in the project.Closes #6526.