blob: 0bb1df651c7f8b0266b105442f54db1f5ac5cf3b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
|
#!/usr/bin/env bash
set -Eeuo pipefail
REPOSITORY_PATH_FORMAT="/var/lib/gitolite/repositories/%s.git"
MERGE_JOB_FORMAT="%s-merge-patch"
JENKINS_SSH_PORT=38844
JENKINS_SSH_HOST="localhost"
msg() {
echo "==> $1"
}
read_branches() {
local prefix="refs/$1/"
local -n read_branches_target="$2"
local refname
local objname
local -i name_length
local -i max_length=0
while IFS=$'\t' read -r refname objname; do
local branch_name="${refname#"${prefix}"}"
read_branches_target["${branch_name}"]="${objname}"
name_length=${#branch_name}
if (( name_length > max_length )); then
max_length=$name_length
fi
done < <(git for-each-ref "${prefix}**" \
--format=$'%(refname)\t%(objectname)' \
--color=never)
local branch_name
for branch_name in "${!read_branches_target[@]}"; do
printf " %*s = %s\n" \
$((-max_length)) \
"${branch_name}" \
"${read_branches_target["${branch_name}"]}"
done
}
get_or_empty() {
local -n get_or_empty_array="$1"
local key="$2"
local -n get_or_empty_target="$3"
if [[ -v get_or_empty_array["${key}"] ]]; then
get_or_empty_target="${get_or_empty_array["${key}"]}"
else
# shellcheck disable=SC2034
get_or_empty_target=''
fi
}
archive_if_needed() {
local archive_prefix="$1"
local branch_name="$2"
local old_tip="$3"
local new_tip="$4"
if ! git merge-base --is-ancestor "${old_tip}" "${new_tip}"; then
local archive_name="${archive_prefix}${branch_name}"
msg "Refusing to clobber ${branch_name}, archiving as ${archive_name}"
git tag -a -m "Archive before synchronization with ${new_tip}" "${archive_name}" "${old_tip}"
fi
}
sync_mirror() {
if (( $# != 1 )); then
echo "Usage: $0 REPOSITORY" >&2
exit 1
fi
local project="$1"
local repository
# shellcheck disable=2059
repository="$(printf "${REPOSITORY_PATH_FORMAT}" "${project}")"
local archive_prefix
archive_prefix="$(TZ='UTC' printf 'archive/%(%Y%m%dT%H%M%S)TZ/')"
cd "${repository}"
local remote
remote="$(git config --get gitmirror.remoteName)"
local remote_url
remote_url="$(git config --get gitmirror.remoteUrl)"
if [[ -z "${remote}" || -z "${remote_url}" ]]; then
msg "FATAL: ${repository} not configured for mirroring" >&2
exit 2
fi
msg "Synchronizing ${repository} with ${remote}"
git config "remote.${remote}.url" "${remote_url}"
msg "Remote tracking branches before fetch"
# shellcheck disable=SC2034
local -A old_tracking
read_branches "remotes/${remote}" old_tracking
msg "Local branches"
# shellcheck disable=SC2034
local -A local_branches
read_branches "heads" local_branches
msg "Fetch from ${remote}"
git fetch --tags --force --progress -- "${remote_url}" \
"+refs/heads/*:refs/remotes/${remote}/*"
msg "Remote tracking branches after fetch"
local -A new_tracking
read_branches "remotes/${remote}" new_tracking
local -a to_patch=()
local branch_name
for branch_name in "${!new_tracking[@]}"; do
if [[ "${branch_name}" =~ ^patch-for/.* ]]; then
msg "FATAL: Refusing to pull patch ${branch_name} from remote" >&2
exit 2
fi
local new_tip="${new_tracking["${branch_name}"]}"
local old_tip
get_or_empty old_tracking "${branch_name}" old_tip
local local_tip
get_or_empty local_branches "${branch_name}" local_tip
local patch_tip
get_or_empty local_branches "patch-for/${branch_name}" patch_tip
if [[ -n "${old_tip}" ]]; then
archive_if_needed "${archive_prefix}" "${remote}/${branch_name}" \
"${old_tip}" "${new_tip}"
fi
if [[ -z "${local_tip}" ]]; then
msg "Create local branch ${branch_name} at ${new_tip}"
git branch --no-track "${branch_name}" "${patch_tip:-"${new_tip}"}"
if [[ -n "${patch_tip}" ]]; then
msg "Will patch newly created local branch ${branch_name}"
to_patch+=("${branch_name}")
fi
else
if [[ -z "${patch_tip}" ]]; then
if [[ "${local_tip}" != "${new_tip}" ]]; then
archive_if_needed "${archive_prefix}" "${branch_name}" \
"${local_tip}" "${old_tip:-"${new_tip}"}"
msg "Update local branch ${branch_name} to ${new_tip}"
git update-ref "refs/heads/${branch_name}" "${new_tip}" "${local_tip}"
fi
else
if ! git merge-base --is-ancestor "${new_tip}" "${local_tip}"; then
msg "Will update local branch ${branch_name} to ${new_tip} by patching"
to_patch+=("${branch_name}")
fi
fi
fi
done
local job_name
# shellcheck disable=2059
job_name="$(printf "${MERGE_JOB_FORMAT}" "${project}")"
for branch_name in "${to_patch[@]}"; do
msg "Triggering Jenkings job ${job_name} for branch ${branch_name}"
ssh -p "${JENKINS_SSH_PORT}" "${JENKINS_SSH_HOST}" \
build "${job_name}" -p "BRANCH=${branch_name}"
done
}
if [[ "$0" == "${BASH_SOURCE[0]}" ]]; then
sync_mirror "$@"
fi
|