Skip to content

Conversation

@bfops
Copy link
Collaborator

@bfops bfops commented Nov 6, 2025

Description of Changes

Our Dockerfile runs COPY . .. If we're in a submodule rather than a "full" git repo, that causes .git to be a in a weird state inside the docker container, where it thinks it's in a submodule even though the parent directory context has been lost.

This PR just adds a clear error message early in the process, because this has bitten us a few times.

API and ABI breaking changes

None

Expected complexity level and risk

1

Testing

  • We appropriately get the failure if we try to docker build this from within a submodule.

@bfops bfops force-pushed the bfops/fix-dockerfile branch from 85b9faf to e7fe995 Compare November 6, 2025 19:58
@bfops bfops changed the title Dockerfile fails more cleanly if .git is a submodule Dockerfile fails more cleanly if .git is a submodule Nov 6, 2025
Copy link
Contributor

@cloutiertyler cloutiertyler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems reasonable and well commented.

@bfops bfops added this pull request to the merge queue Nov 6, 2025
@bfops bfops removed this pull request from the merge queue due to a manual request Nov 6, 2025
@bfops bfops enabled auto-merge November 6, 2025 21:37
@bfops bfops added this pull request to the merge queue Nov 6, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 6, 2025
@bfops bfops added this pull request to the merge queue Nov 7, 2025
Merged via the queue into master with commit 6096150 Nov 7, 2025
35 of 37 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants