5 Commits

Author	SHA1	Message	Date
jbrechtel	4473dc9164	Fixes contact and name	2026-05-14 22:20:46 -04:00
jbrechtel	7feff5abfa	converge: phase 2 — SSE relay client for realtime pull on push ... - RepoConfig gains rcGiteaRepo :: Maybe Text for relay matching - Options gains optRelayUrl :: Maybe Text (--relay-url CLI, relay_url config) - connectRelay connects to converge-relay SSE endpoint, parses push events, triggers gitPull on matching repos (by gitea_repo + branch) - Exponential backoff reconnection (1s .. 60s) on disconnect/error - Skips pull if repo is mid-operation (merge/rebase/etc.) - Dependencies: http-client, http-client-tls, http-types, aeson, bytestring - SSE parser handles event:/data: fields, blank-line delimiters, CRLF endings - Updated SPEC.md, example config, and help text	2026-05-14 14:13:43 -04:00
jbrechtel	65bf75cdf2	Adds specs	2026-05-13 21:39:02 -04:00
jbrechtel	eb77e7c0e6	Support multiple repositories per execution ... - Add RepoConfig type for per-repo path/remote/branch - Options now holds [RepoConfig] instead of single repo - YAML config file support (--config) for multi-repo setup - --repo still works for quick single-repo usage - Concurrent watchers via async (one thread per repo) - --debounce flag overrides config file value	2026-05-11 09:48:26 -04:00
jbrechtel	bf3329e5ce	Initial commit: converge - auto-sync git repo watcher	2026-05-11 09:40:25 -04:00