diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-09-10 16:32:18 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-09-10 16:32:18 +0100 |
| commit | 732567f85383782851d3c0dd43283d29df0c098f (patch) | |
| tree | 706d3088eef39a8d701c8360ce0291e5f615abc2 /src/lib/git/utils.rs | |
| parent | 8527646022abdb290222a45314d090eef0871cae (diff) | |
fix(init): when existing origin matches tip
when an existing origin exists and local branch is up-to-date
`git push` wont successfully publish state event and push refs to
other git servers listed.
we now publish the state event during this init function and use
sync to push all refs in state are to all git servers.
Diffstat (limited to 'src/lib/git/utils.rs')
0 files changed, 0 insertions, 0 deletions