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

git@vger.kernel.org list mirror (unofficial, one of many)

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://public-inbox.org/git
	git clone --mirror http://ou63pmih66umazou.onion/git
	git clone --mirror http://czquwvybam4bgbro.onion/git
	git clone --mirror http://hjrcffqmbrq6wope.onion/git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 git git/ https://public-inbox.org/git \
		git@vger.kernel.org
	public-inbox-index git

Example config snippet for mirrors.
Newsgroups are available over NNTP:
	nntp://news.public-inbox.org/inbox.comp.version-control.git
	nntp://7fh6tueqddpjyxjmgtdiueylzoqt6pt7hec3pukyptlmohoowvhde4yd.onion/inbox.comp.version-control.git
	nntp://ie5yzdi7fg72h7s4sdcztq5evakq23rdt33mfyfcddc5u3ndnw24ogqd.onion/inbox.comp.version-control.git
	nntp://4uok3hntl7oi7b4uf4rtfwefqeexfzil2w6kgk2jn5z2f764irre7byd.onion/inbox.comp.version-control.git
	nntp://news.gmane.io/gmane.comp.version-control.git
 note: .onion URLs require Tor: https://www.torproject.org/

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

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

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git