diff options
| author | Ben Sima <ben@bsima.me> | 2025-11-20 17:17:38 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2025-11-20 17:17:38 -0500 |
| commit | 9fbfd8f4ebd85c53ce5a0b52715dff679e2cf80f (patch) | |
| tree | 3445a7482f9ca01b0326b0122ad5fabe122d22bc /Data/String/Quote.hs | |
| parent | 2fb355fa020f061adf344064e347fbcfd6cbd87a (diff) | |
fix: handle existing task branches in worker guide
- Workers should reuse existing branches if they crashed/restarted -
Changed 'git checkout -b' to 'git checkout || git checkout -b'
Diffstat (limited to 'Data/String/Quote.hs')
0 files changed, 0 insertions, 0 deletions