internal/gitutil/merge.go
388 lines · 14603 bytes
1package gitutil
2
3import (
4 "bytes"
5 "fmt"
6 "os"
7 "os/exec"
8 "strings"
9
10 "gitbay.org/gitbay/internal/toolpath"
11)
12
13// FetchInto copies srcRef from srcDir into dstDir as dstRef, forcing the
14// update. Objects are copied, not shared — the destination owns everything
15// afterward, which is what keeps MRs alive when their fork is deleted.
16func FetchInto(dstDir, srcDir, srcRef, dstRef string) error {
17 cmd := exec.Command(toolpath.Look("git"), "-C", dstDir, "fetch", "--quiet", "--no-write-fetch-head",
18 srcDir, "+"+srcRef+":"+dstRef)
19 if out, err := cmd.CombinedOutput(); err != nil {
20 return fmt.Errorf("fetch %s from %s: %v\n%s", srcRef, srcDir, err, out)
21 }
22 return nil
23}
24
25// UpdateRefCAS points ref at newSHA only if it currently points at oldSHA
26// (empty oldSHA = must not exist). This is the compare-and-swap that makes
27// merges safe against concurrent pushes.
28func UpdateRefCAS(dir, ref, newSHA, oldSHA string) error {
29 args := []string{"-C", dir, "update-ref", ref, newSHA}
30 if oldSHA != "" {
31 args = append(args, oldSHA)
32 }
33 cmd := exec.Command(toolpath.Look("git"), args...)
34 if out, err := cmd.CombinedOutput(); err != nil {
35 return fmt.Errorf("update-ref %s: %v\n%s", ref, err, out)
36 }
37 return nil
38}
39
40func DeleteRef(dir, ref string) error {
41 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "update-ref", "-d", ref)
42 if out, err := cmd.CombinedOutput(); err != nil {
43 return fmt.Errorf("delete-ref %s: %v\n%s", ref, err, out)
44 }
45 return nil
46}
47
48// RefExists reports whether ref is present, whatever it points at. Unlike
49// ResolveRef it does not need the object to exist, so a ref left dangling
50// by an interrupted prune still reads as present and gets deleted.
51func RefExists(dir, ref string) bool {
52 return exec.Command(toolpath.Look("git"), "-C", dir, "show-ref", "--verify", "--quiet", ref).Run() == nil
53}
54
55// PruneNow repacks the repository and drops every unreachable object at
56// once, instead of after git's two-week grace. For when a ref was deleted
57// so that what it pointed at stops being fetchable by sha. Without the
58// grace, a push whose objects have left quarantine but whose ref is not
59// yet written can lose them; the window is milliseconds, and the one
60// caller is an explicit admin command, not a timer.
61func PruneNow(dir string) error {
62 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "gc", "--quiet", "--prune=now")
63 if out, err := cmd.CombinedOutput(); err != nil {
64 return fmt.Errorf("gc --prune=now: %v\n%s", err, out)
65 }
66 return nil
67}
68
69// RevListRange returns commits in old..new, newest first.
70func RevListRange(dir, old, new string) ([]string, error) {
71 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "rev-list", "--end-of-options", new, "^"+old)
72 out, err := cmd.Output()
73 if err != nil {
74 return nil, fmt.Errorf("rev-list %s..%s: %w", old, new, err)
75 }
76 var shas []string
77 for _, l := range strings.Split(strings.TrimSpace(string(out)), "\n") {
78 if l != "" {
79 shas = append(shas, l)
80 }
81 }
82 return shas, nil
83}
84
85// MergeTree performs a real merge of ours and theirs, returning the merged
86// tree id. conflict=true means the merge cannot be done automatically.
87func MergeTree(dir, ours, theirs string) (tree string, conflict bool, err error) {
88 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "merge-tree", "--write-tree", "--end-of-options", ours, theirs)
89 out, runErr := cmd.Output()
90 tree = strings.TrimSpace(strings.SplitN(string(out), "\n", 2)[0])
91 if runErr != nil {
92 if ee, ok := runErr.(*exec.ExitError); ok && ee.ExitCode() == 1 {
93 return "", true, nil // conflicted merge
94 }
95 return "", false, fmt.Errorf("merge-tree: %w", runErr)
96 }
97 return tree, false, nil
98}
99
100// CommitTree creates a merge commit with the given parents, authored and
101// committed by the merging user. There is no server signing key by design.
102func CommitTree(dir, tree string, parents []string, name, email, message string) (string, error) {
103 args := []string{"-C", dir, "commit-tree", tree, "-m", message}
104 for _, p := range parents {
105 args = append(args, "-p", p)
106 }
107 cmd := exec.Command(toolpath.Look("git"), args...)
108 cmd.Env = append(os.Environ(),
109 "GIT_AUTHOR_NAME="+name, "GIT_AUTHOR_EMAIL="+email,
110 "GIT_COMMITTER_NAME="+name, "GIT_COMMITTER_EMAIL="+email,
111 )
112 out, err := cmd.Output()
113 if err != nil {
114 return "", fmt.Errorf("commit-tree: %w", err)
115 }
116 return strings.TrimSpace(string(out)), nil
117}
118
119// Diff returns the patch for old..new (three-dot semantics are the caller's
120// job: pass the merge base as old), cut at limit bytes on a line boundary;
121// truncated says whether it was cut, so the caller can say so instead of
122// rendering a hunk that ends mid-line (#117).
123func Diff(dir, old, new string, limit int64) (patch string, truncated bool, err error) {
124 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "diff", "--stat", "--patch", "--end-of-options", old, new)
125 out, err := cmd.Output()
126 if err != nil {
127 return "", false, fmt.Errorf("diff: %w", err)
128 }
129 out, truncated = cutAtLine(out, limit)
130 return string(out), truncated, nil
131}
132
133// cutAtLine keeps at most limit bytes, ending on the last newline before
134// the limit.
135func cutAtLine(out []byte, limit int64) ([]byte, bool) {
136 if int64(len(out)) <= limit {
137 return out, false
138 }
139 cut := out[:limit]
140 if i := bytes.LastIndexByte(cut, '\n'); i >= 0 {
141 cut = cut[:i+1]
142 }
143 return cut, true
144}
145
146// PatchID identifies the change between old and new independently of the
147// commits carrying it: git patch-id --stable over the whole-range diff.
148// Two revisions with the same PatchID propose the same change, whatever
149// was rebased underneath. "" when the range has no diff.
150func PatchID(dir, old, new string) (string, error) {
151 diff := exec.Command(toolpath.Look("git"), "-C", dir, "diff", "--end-of-options", old, new)
152 pid := exec.Command(toolpath.Look("git"), "-C", dir, "patch-id", "--stable")
153 pipe, err := diff.StdoutPipe()
154 if err != nil {
155 return "", err
156 }
157 pid.Stdin = pipe
158 if err := diff.Start(); err != nil {
159 return "", fmt.Errorf("diff: %w", err)
160 }
161 out, err := pid.Output()
162 if werr := diff.Wait(); werr != nil {
163 return "", fmt.Errorf("diff: %w", werr)
164 }
165 if err != nil {
166 return "", fmt.Errorf("patch-id: %w", err)
167 }
168 fields := strings.Fields(string(out))
169 if len(fields) == 0 {
170 return "", nil
171 }
172 return fields[0], nil
173}
174
175// MergeBase returns the best common ancestor, or an error if none exists.
176func MergeBase(dir, a, b string) (string, error) {
177 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "merge-base", "--end-of-options", a, b)
178 out, err := cmd.Output()
179 if err != nil {
180 return "", fmt.Errorf("no common history between %s and %s", a, b)
181 }
182 return strings.TrimSpace(string(out)), nil
183}
184
185// CommitFileChange writes content at path on branch as a new commit and
186// advances the branch with compare-and-swap. Used by web edits; hooks do not
187// run, so callers enforce policy themselves.
188func CommitFileChange(dir, branch, path string, content []byte, name, email, message string) (string, error) {
189 branchRef := "refs/heads/" + branch
190 parent, err := ResolveRef(dir, branchRef)
191 if err != nil {
192 // An unborn branch is a root commit only in a repository with no
193 // refs at all. Anywhere else an unresolvable branch is a typo, and
194 // starting an orphan branch for it would be worse than refusing.
195 if !isEmptyRepo(dir) {
196 return "", fmt.Errorf("branch %s: %w", branch, err)
197 }
198 parent = ""
199 }
200
201 // Hash the new blob.
202 hb := exec.Command(toolpath.Look("git"), "-C", dir, "hash-object", "-w", "--stdin")
203 hb.Stdin = strings.NewReader(string(content))
204 out, err := hb.Output()
205 if err != nil {
206 return "", fmt.Errorf("hash-object: %w", err)
207 }
208 blob := strings.TrimSpace(string(out))
209
210 // Stage the parent tree in a temporary index, splice the blob in, and
211 // write the new tree.
212 idx, err := os.CreateTemp("", "gitbay-index-*")
213 if err != nil {
214 return "", err
215 }
216 idx.Close()
217 defer os.Remove(idx.Name())
218 env := append(os.Environ(), "GIT_INDEX_FILE="+idx.Name())
219
220 tree0 := parent + "^{tree}"
221 if parent == "" {
222 tree0 = "--empty"
223 }
224 rt := exec.Command(toolpath.Look("git"), "-C", dir, "read-tree", tree0)
225 rt.Env = env
226 if out, err := rt.CombinedOutput(); err != nil {
227 return "", fmt.Errorf("read-tree: %v\n%s", err, out)
228 }
229 ui := exec.Command(toolpath.Look("git"), "-C", dir, "update-index", "--add", "--cacheinfo", "100644,"+blob+","+path)
230 ui.Env = env
231 if out, err := ui.CombinedOutput(); err != nil {
232 return "", fmt.Errorf("update-index: %v\n%s", err, out)
233 }
234 wt := exec.Command(toolpath.Look("git"), "-C", dir, "write-tree")
235 wt.Env = env
236 out, err = wt.Output()
237 if err != nil {
238 return "", fmt.Errorf("write-tree: %w", err)
239 }
240 tree := strings.TrimSpace(string(out))
241
242 var parents []string
243 if parent != "" {
244 parents = []string{parent}
245 }
246 sha, err := CommitTree(dir, tree, parents, name, email, message)
247 if err != nil {
248 return "", err
249 }
250 if err := UpdateRefCAS(dir, branchRef, sha, parent); err != nil {
251 return "", fmt.Errorf("branch moved during edit; reload and retry: %w", err)
252 }
253 return sha, nil
254}
255
256// isEmptyRepo reports whether dir has no refs at all — a repository
257// created but never pushed to.
258func isEmptyRepo(dir string) bool {
259 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "rev-list", "-n1", "--all").Output()
260 return err == nil && strings.TrimSpace(string(out)) == ""
261}
262
263// CommitParents returns the parent SHAs of a commit.
264func CommitParents(dir, sha string) ([]string, error) {
265 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "rev-list", "--parents", "-n1", "--end-of-options", sha).Output()
266 if err != nil {
267 return nil, fmt.Errorf("rev-list --parents %s: %w", sha, err)
268 }
269 fields := strings.Fields(string(out))
270 if len(fields) < 1 {
271 return nil, fmt.Errorf("no output for %s", sha)
272 }
273 return fields[1:], nil
274}
275
276// AuthorIdent returns a commit's author name, email, and ISO date.
277func AuthorIdent(dir, sha string) (name, email, date string, err error) {
278 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "log", "-1", "--format=%an%x1f%ae%x1f%aI", "--end-of-options", sha).Output()
279 if err != nil {
280 return "", "", "", fmt.Errorf("log %s: %w", sha, err)
281 }
282 parts := strings.SplitN(strings.TrimSpace(string(out)), "\x1f", 3)
283 if len(parts) != 3 {
284 return "", "", "", fmt.Errorf("bad ident for %s", sha)
285 }
286 return parts[0], parts[1], parts[2], nil
287}
288
289// CommitMessage returns a commit's full message.
290func CommitMessage(dir, sha string) (string, error) {
291 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "log", "-1", "--format=%B", "--end-of-options", sha).Output()
292 if err != nil {
293 return "", fmt.Errorf("log %s: %w", sha, err)
294 }
295 return strings.TrimRight(string(out), "\n"), nil
296}
297
298// MergeTreeOnto replays commit's changes (relative to base) onto onto,
299// returning the resulting tree. conflict=true when it cannot apply cleanly.
300func MergeTreeOnto(dir, base, onto, commit string) (tree string, conflict bool, err error) {
301 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "merge-tree", "--write-tree", "--merge-base="+base, "--end-of-options", onto, commit)
302 out, runErr := cmd.Output()
303 tree = strings.TrimSpace(strings.SplitN(string(out), "\n", 2)[0])
304 if runErr != nil {
305 if ee, ok := runErr.(*exec.ExitError); ok && ee.ExitCode() == 1 {
306 return "", true, nil
307 }
308 return "", false, fmt.Errorf("merge-tree: %w", runErr)
309 }
310 return tree, false, nil
311}
312
313// CommitTreeIdent creates a commit with distinct author and committer
314// identities. Empty authorDate means now.
315func CommitTreeIdent(dir, tree string, parents []string,
316 authorName, authorEmail, authorDate, committerName, committerEmail, message string) (string, error) {
317 args := []string{"-C", dir, "commit-tree", tree, "-m", message}
318 for _, p := range parents {
319 args = append(args, "-p", p)
320 }
321 cmd := exec.Command(toolpath.Look("git"), args...)
322 env := append(os.Environ(),
323 "GIT_AUTHOR_NAME="+authorName, "GIT_AUTHOR_EMAIL="+authorEmail,
324 "GIT_COMMITTER_NAME="+committerName, "GIT_COMMITTER_EMAIL="+committerEmail,
325 )
326 if authorDate != "" {
327 env = append(env, "GIT_AUTHOR_DATE="+authorDate)
328 }
329 cmd.Env = env
330 out, err := cmd.Output()
331 if err != nil {
332 return "", fmt.Errorf("commit-tree: %w", err)
333 }
334 return strings.TrimSpace(string(out)), nil
335}
336
337// ResolveTree returns the tree id of a commit.
338func ResolveTree(dir, sha string) (string, error) {
339 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "rev-parse", "--verify", "--end-of-options", sha+"^{tree}").Output()
340 if err != nil {
341 return "", fmt.Errorf("rev-parse %s^{tree}: %w", sha, err)
342 }
343 return strings.TrimSpace(string(out)), nil
344}
345
346// DiffFiles lists the paths changed between old and new.
347func DiffFiles(dir, old, new string) ([]string, error) {
348 out, err := exec.Command(toolpath.Look("git"), "-C", dir, "diff", "--name-only", "--end-of-options", old, new).Output()
349 if err != nil {
350 return nil, fmt.Errorf("diff --name-only: %w", err)
351 }
352 var files []string
353 for _, l := range strings.Split(strings.TrimSpace(string(out)), "\n") {
354 if l != "" {
355 files = append(files, l)
356 }
357 }
358 return files, nil
359}
360
361// RangeDiff compares two revisions of the same work: what the commits
362// between oldBase and oldHead became between newBase and newHead. This is
363// what answers "what changed since I reviewed this", which a plain diff
364// of the two heads cannot — that shows the whole branch again, rebases
365// and all.
366//
367// Each side carries its own base, because the target moves: comparing
368// both revisions against today's base would attribute every commit that
369// landed on the target in between to the author of this merge request.
370//
371// --creation-factor is raised from git's default of 60. That default is
372// tuned for comparing two independently developed patch series, where
373// refusing to pair is the safe answer. Here the two sides are known to be
374// revisions of one branch, and the commonest revision of all — a commit
375// that adds a file, with one line inside it changed — is not paired at
376// 60: git reports the commit as deleted and a different one added, which
377// tells a reviewer nothing. It pairs at 80, and two genuinely unrelated
378// commits are still left unpaired there; both measured.
379func RangeDiff(dir, oldBase, oldHead, newBase, newHead string, limit int64) (patch string, truncated bool, err error) {
380 cmd := exec.Command(toolpath.Look("git"), "-C", dir, "range-diff", "--creation-factor=80", "--end-of-options",
381 oldBase+".."+oldHead, newBase+".."+newHead)
382 out, err := cmd.Output()
383 if err != nil {
384 return "", false, fmt.Errorf("range-diff: %w", err)
385 }
386 out, truncated = cutAtLine(out, limit)
387 return string(out), truncated, nil
388}