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.

Sign up for GitHub

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

Jump to bottom

Don't require the .git directory to exist for a successful Docker build. #3037

Merged

ZeiP merged 1 commit into master from dockerfile_git_req

Jul 18, 2024

Member

ZeiP commented Jul 18, 2024

Fixes #3028.


          Don't require the .git directory to exist for a successful Docker build.

d2fff6a

ZeiP merged commit 7b9a1e3 into master

10 checks passed

ZeiP deleted the dockerfile_git_req branch

July 18, 2024 19:14

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet