chore(workflow): simplify PR command and Dockerfile for efficiency

Author: oleander

Dockerfile

@@ -38,10 +38,6 @@ RUN apt-get update && apt-get install -y git fish wget \
 RUN rustup default nightly
 RUN rustup component add rust-std clippy rustc rustfmt --toolchain nightly
 
-# Copy .git directory into /source
-COPY .git /source/.git
-
-# Clone from local source into working directory
 WORKDIR /app
 
 ARG GH_TOKEN

Justfile

@@ -36,4 +36,4 @@ pr PR_NUMBER CMD:
 
 # Sync a specific PR with origin/main
 sync-pr PR_NUM:
-    just pr {{PR_NUM}} "git merge origin/main --no-edit && cargo fmt --check && cargo check && git push origin HEAD"
+    just pr {{PR_NUM}} "git merge origin/main --no-edit && cargo fmt --check"