Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout ae3fa85f40db0dca83d19dda1afb96064dffcc83


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 1e137b07052bc3ea0da44ed201702c94055b8ad2


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout c5ae8a70e1b0305af324ad7b1b0911d4023f1338


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 50517020a28f11a8748e4de66a646e82bb3050e7


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 03a98f4de484f16d038892a0a9d2317a45e79df1


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout bbaaead09c5e3c852d243b113724d2048e1c175a


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 606808760edd7f0bf73715ae71a3d365a9c6ae95


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 34d99c15afd9441ab022b8feb203084a61e338b7


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout bbaf26cedc3462ef928906dc90db5cb98a3ec22e


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 88aee439477603da95beb8a1cc23d43b9d6d482c


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 3ecbb624d892b9fce078304cf89c0fe94f8ab3be


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 7f48edc02aa68c547d96ad7d6432ff8c1e359742


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout b94bb1bf93390e5204551bfc647049c6f8c5a60d


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 754965b572f33bfd864e98e4805e1182c1960080


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 565ca3cc3b78d6e5177b7834d496927b96b6c88c


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout da2441b9bd293d7188ee645be3322a7305a43a19


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 84dfda59e6a0e8a77240f939a7cb8757e6eaf945


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout d9c42c000cd6c624794722fd55a741aff9d18823


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 6bbe3d1c4cefe56f81629dfa3343fd0a875d9cf1


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout a2ebf53b6098635c3abcab3fd9144c766e32b350


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout a3e1a666b876e0b3ccbb5284dd826c8c90c113b4


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout e0149462b3f4e7c843d89701ad9edd2e744d7593


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout ab5e2a416324ec56cea44b79067ba798f8394de1


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 779c73eadea5d4246a60ab60486d5e49164884db


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout aad0c5fd5138a31dfd766d2e6808a35b7dfb4a74


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout 50e1a1a7ca1d95cbf82187ff685bea8cf3966cd0


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout f2c0c18879ffdeea8d643ffa05a188e43f14afee


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,13 @@ git clean -fdx
git checkout d9e2190a6b4b6bef2d8d2558524dd124be33760f


# Strip future git history so the agent can't reach the reference fix.
git remote remove origin 2>/dev/null || true
git for-each-ref --format='delete %(refname)' refs/heads refs/remotes refs/tags | git update-ref --stdin
rm -f .git/FETCH_HEAD .git/ORIG_HEAD
git reflog expire --expire=now --all
git gc --prune=now

cd /

EOFPREP
Expand Down
Loading