diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2024-08-05 14:15:29 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2024-08-05 14:15:29 +0100 |
| commit | f238fc8c0a122487f4fb71bb78a2e365e147d747 (patch) | |
| tree | 5e8760c192f62fef67189bc82dcae4eef3ce883a /src/cli_interactor.rs | |
| parent | e5750b5b3dfe2c0072902c2523fdf32986aa74b8 (diff) | |
feat(remote): `push` handle out-of-sync servers
1. don't attempt to push to a remote which is already up-to-date
2. don't attempt to delete branch on remote if it is already deleted
3. only push when out of sync if remote tip is ancestor of pushed
commit
4. force push to remote if user force pushed and remote is in sync
with nostr
Diffstat (limited to 'src/cli_interactor.rs')
0 files changed, 0 insertions, 0 deletions