Fixed .git copy destination inside Dockerfile
#9377
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
In the Dockerfile in the
app-builderstage the.gitdirectory is copied:COPY .git .gitAnd then later in the same stage it is supposedly removed:
I say supposedly, because the
.gitdirectory is copied into the filesystem root directory (/), whereas, the rest of the project files are inside thepgadmin4directory, and the later command expects the.gitdirectory to be inside it. Clearly a mistake, it was supposed to be copied into/pgadmin4/.git.Using
docker build --target app-builder --tag "pgadmin4:app-builder-stage" .to only build and export this stage, and thendive pgadmin4:app-builder-stageto explore the layers, I confirmed that:With that being said, is the
.gitdirectory even needed during the build process? If not, it would be better to completely omit the copy to save on having to copy more than366 MB(the size of.gitas of writing) into the Docker image each time, which takes some time.Summary by CodeRabbit
✏️ Tip: You can customize this high-level summary in your review settings.