Commit 6096150
authored
# 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
- [x] We appropriately get the failure if we try to `docker build` this
from within a submodule.
Co-authored-by: Zeke Foppa <bfops@users.noreply.github.com>
1 parent e331b2f commit 6096150
1 file changed
+9
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
7 | 16 | | |
8 | 17 | | |
9 | 18 | | |
| |||
0 commit comments