diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-20 17:53:12 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-20 17:53:12 -0500 |
| commit | d2c6915f9715d079f021660c22cc1fd39ed16bcd (patch) | |
| tree | 0e7b8b1a25c2ddcd07972510add8ae215a35ae28 /Omni/Task/Core.hs | |
| parent | bcc416959deeb4bcd5ce12d00807b7e673a6d0dd (diff) | |
fix: merge local live branch in worker guide
- We share the .git directory, so we can merge 'live' directly -
Avoids dependency on 'origin' which might be stale or unused
Diffstat (limited to 'Omni/Task/Core.hs')
0 files changed, 0 insertions, 0 deletions