4 Commits

Include renames

Author	SHA1	Message	Date
Ian Gulliver	da7f324bab	Skip pushing merges when the repo has no remote	2026-10-22 18:05:52 -07:00
Ian Gulliver	b4c1dbab37	Log slow API requests with server spans and client timing	2026-10-21 14:45:19 -07:00
Ian Gulliver	d9e0498d10	Record merge progress durably and finish pushed merges at startup	2026-10-16 13:01:17 -07:00
Ian Gulliver	6741177f53	Attach a refs/notes/byre note to each squash merge and push it	2026-10-15 19:44:53 -07:00