Ian Gulliver 36d6636220 Avoid unused line statistics when refreshing merge facts

2026-10-21 12:02:22 -07:00

..

changes.go

Avoid unused line statistics when refreshing merge facts

2026-10-21 12:02:22 -07:00

git.go

Open merge dialog instantly from pushed merge facts

2026-10-21 11:48:21 -07:00

identity.go

Centralize Git identity environment construction

2026-10-21 11:12:54 -07:00

ignore.go

Audit of 627319a

2026-10-20 22:15:33 -07:00

notes.go

Record merge progress durably and finish pushed merges at startup

2026-10-16 13:01:17 -07:00

rename.go

Centralize Git identity environment construction

2026-10-21 11:12:54 -07:00

snapshot.go

Audit of 627319a

2026-10-20 22:15:33 -07:00