-
Notifications
You must be signed in to change notification settings - Fork 32
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 Earthfile from docker repo #156
Comments
@Bckempa suggestion - reconsider path / naming to the generate_repos.sh |
I don't seem to have the power to assign myself issues but I'll plan on taking this on starting next week. @xfiderek can you assign to me? |
I don't have permissions either. @EzraBrooks @Bckempa @mkhansenbot @ivanperez-keera, could you assign @eholum to this issue? |
Not sure what's up with permissions but I assigned @eholum (after misclicking and assigning myself...) |
Step 1 to move the Earthfile and related content from As noted in the PR, I think it's preferable to test/merge that before moving onto other tasks that would make further modifications to the build process. Step 2 to add additional options to the repos generation script has been added in: space-ros/space-ros#164 |
Still waiting on reviews for the two open PRs, but in the interim @xfiderek here is the basic consolidation of the repos file generation with the main build that you mentioned if you wanted to take a look. I just merged the two open PRs and made the changes based on that. It's WIP but give you an idea of what I was talking about... |
…tional Earthfile cleanup (space-ros/space-ros#158)
This will be resolved in #151. |
should this one be moved to in |
Can we change this issue's repo? That would make sense to me as the PR is in the |
Edited your link to ensure it points to the proper issue after the move. |
…#156 Remove spaceros Base Image from docker repo in favor of build in space-ros repo
No description provided.
The text was updated successfully, but these errors were encountered: