git@vger.kernel.org list mirror (unofficial, one of many)
 help / color / mirror / code / Atom feed
4dadd875f4ae139e4772fc9e1a10fcf5d1ef11f8 blob 746 bytes (raw)

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
#!/bin/sh

set -eu

# Override this to import from somewhere else, say "../reftable".
SRC=${SRC:-origin}
BRANCH=${BRANCH:-master}

((git --git-dir reftable-repo/.git fetch -f ${SRC} ${BRANCH}:import && cd reftable-repo && git checkout -f $(git rev-parse import) ) ||
   git clone https://github.com/google/reftable reftable-repo)

cp reftable-repo/c/*.[ch] reftable/
cp reftable-repo/c/include/*.[ch] reftable/
cp reftable-repo/LICENSE reftable/

git --git-dir reftable-repo/.git show --no-patch --format=oneline HEAD \
  > reftable/VERSION

mv reftable/system.h reftable/system.h~
sed 's|if REFTABLE_IN_GITCORE|if 1 /* REFTABLE_IN_GITCORE */|'  < reftable/system.h~ > reftable/system.h

git add reftable/*.[ch] reftable/LICENSE reftable/VERSION
debug log:

solving 4dadd875f4 ...
found 4dadd875f4 in https://public-inbox.org/git/4e38db7f48295c4e6d729880f5f1a63b0f90274e.1601568664.git.gitgitgadget@gmail.com/ ||
	https://public-inbox.org/git/64d98e60b2609f6b4d27f69545d16bd00c8578ba.1600283416.git.gitgitgadget@gmail.com/ ||
	https://public-inbox.org/git/86646c834c2d4046aa8734e5330beb827aeb8539.1592335243.git.gitgitgadget@gmail.com/ ||
	https://public-inbox.org/git/3c84f43cfa07708759b386f63dc4893ac45d0850.1592862921.git.gitgitgadget@gmail.com/ ||
	https://public-inbox.org/git/169f6c7f543f1d3e5c91a0b38961c765d6900107.1593457018.git.gitgitgadget@gmail.com/ ||
	https://public-inbox.org/git/12d98125c2bacdaab797cbaca47bdbfe000c293f.1596209238.git.gitgitgadget@gmail.com/

applying [1/6] https://public-inbox.org/git/4e38db7f48295c4e6d729880f5f1a63b0f90274e.1601568664.git.gitgitgadget@gmail.com/
diff --git a/reftable/update.sh b/reftable/update.sh
new file mode 100755
index 0000000000..4dadd875f4

Checking patch reftable/update.sh...
Applied patch reftable/update.sh cleanly.

skipping https://public-inbox.org/git/64d98e60b2609f6b4d27f69545d16bd00c8578ba.1600283416.git.gitgitgadget@gmail.com/ for 4dadd875f4
skipping https://public-inbox.org/git/86646c834c2d4046aa8734e5330beb827aeb8539.1592335243.git.gitgitgadget@gmail.com/ for 4dadd875f4
skipping https://public-inbox.org/git/3c84f43cfa07708759b386f63dc4893ac45d0850.1592862921.git.gitgitgadget@gmail.com/ for 4dadd875f4
skipping https://public-inbox.org/git/169f6c7f543f1d3e5c91a0b38961c765d6900107.1593457018.git.gitgitgadget@gmail.com/ for 4dadd875f4
skipping https://public-inbox.org/git/12d98125c2bacdaab797cbaca47bdbfe000c293f.1596209238.git.gitgitgadget@gmail.com/ for 4dadd875f4
index at:
100755 4dadd875f4ae139e4772fc9e1a10fcf5d1ef11f8	reftable/update.sh

Code repositories for project(s) associated with this inbox:

	https://80x24.org/mirrors/git.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).