diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-05-23 21:53:35 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-05-23 21:53:35 +0100 |
| commit | a75a1441b7c1cec93ebc0cb796c21360abbc5573 (patch) | |
| tree | 79242e269749fdca294ace312e259c86595ba072 /src/lib/git/mod.rs | |
| parent | de095c6993ed6e99dd22972519e1cdcf4014f7d0 (diff) | |
feat(push): avoid out of sync issues for ngit relay
we need to be careful with git servers with their own permissions so
a ngit user doesn't inadvertantly push changes on top of a another
user who pushed directly to the git server without using the
force flag.
We dont have this problem with ngit-relay so we can always force
push, even if the user didnt as nostr is the authority of state.
Diffstat (limited to 'src/lib/git/mod.rs')
0 files changed, 0 insertions, 0 deletions