Skip to content
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

Docker build optimizations and miscellaneous fixes #587

Closed
wants to merge 10 commits into from

Conversation

jakirkham
Copy link
Member

Includes some optimizations for the build process.

Checks out locally. Able to build image and do some basic stuff in the notebook.

@jakirkham jakirkham changed the title Docker build optimizations and miscellaneous fixes WIP: Docker build optimizations and miscellaneous fixes Oct 10, 2015
@jakirkham jakirkham force-pushed the docker_build_optimizations branch 4 times, most recently from 733ceeb to 58cbf8d Compare October 10, 2015 22:44
@jakirkham jakirkham changed the title WIP: Docker build optimizations and miscellaneous fixes Docker build optimizations and miscellaneous fixes Oct 10, 2015
@jakirkham jakirkham changed the title Docker build optimizations and miscellaneous fixes WIP: Docker build optimizations and miscellaneous fixes Oct 11, 2015
@jakirkham jakirkham force-pushed the docker_build_optimizations branch 2 times, most recently from b031685 to 194f165 Compare October 11, 2015 00:34
@jakirkham jakirkham changed the title WIP: Docker build optimizations and miscellaneous fixes Docker build optimizations and miscellaneous fixes Oct 11, 2015
@minrk
Copy link
Member

minrk commented Oct 12, 2015

@jakirkham I'm having trouble tracking your PRs - this seems to just be a merge of several other PRs. Do you mean to close all the others and replace with this one?

@jakirkham
Copy link
Member Author

Initially this was a PR with most (not all) of these changes. However, I realized I did not want to force your hand into accepting changes that you did not want. So, I broke it up into smaller PRs that you could take or leave and left this one as a combined form that you could take instead.

As most of the PRs are already merged, maybe it doesn't make sense to keep this any more. Especially, if it is the source of confusion.

@jakirkham jakirkham closed this Oct 12, 2015
@jakirkham jakirkham deleted the docker_build_optimizations branch October 12, 2015 11:24
@minrk minrk modified the milestone: no action Dec 1, 2015
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 20, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants