diff options
| author | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-06 12:52:59 +0100 |
|---|---|---|
| committer | DanConwayDev <DanConwayDev@protonmail.com> | 2025-08-07 17:25:50 +0100 |
| commit | a9b2ebf8216be34950e54dd9a446dbdc0c9c744a (patch) | |
| tree | 5a103933852fbcfcd42b13716cb92eeca5325d6d /src/lib/git_events.rs | |
| parent | 29f61ffdf155ea88b8d9aec23d28cf70baba577e (diff) | |
feat(send): PR fallback to user / custom grasp
if use is maintainer, push PR to all repo git servers.
if user has a fork, push to all git servers it lists, and repo
grasp servers.
if user hasn't got a fork but has a user grasp list and pushing
push to repo grasp servers fails, create a personal-fork
automatically at each user grasp server and push there.
fallback to prompting user for either grasp servers or git server
with write permission.
if user provides grasp servers, suggesting adding to user preference
list.
Diffstat (limited to 'src/lib/git_events.rs')
| -rw-r--r-- | src/lib/git_events.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/git_events.rs b/src/lib/git_events.rs index bbfcbea..76c31de 100644 --- a/src/lib/git_events.rs +++ b/src/lib/git_events.rs | |||
| @@ -63,6 +63,7 @@ pub fn status_kinds() -> Vec<Kind> { | |||
| 63 | 63 | ||
| 64 | pub const KIND_PULL_REQUEST: Kind = Kind::Custom(1618); | 64 | pub const KIND_PULL_REQUEST: Kind = Kind::Custom(1618); |
| 65 | pub const KIND_PULL_REQUEST_UPDATE: Kind = Kind::Custom(1619); | 65 | pub const KIND_PULL_REQUEST_UPDATE: Kind = Kind::Custom(1619); |
| 66 | pub const KIND_USER_GRASP_LIST: Kind = Kind::Custom(10317); | ||
| 66 | 67 | ||
| 67 | pub fn event_is_patch_set_root(event: &Event) -> bool { | 68 | pub fn event_is_patch_set_root(event: &Event) -> bool { |
| 68 | event.kind.eq(&Kind::GitPatch) | 69 | event.kind.eq(&Kind::GitPatch) |