diff options
Diffstat (limited to 'src/lib/push.rs')
| -rw-r--r-- | src/lib/push.rs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/lib/push.rs b/src/lib/push.rs index c9b8791..bd45553 100644 --- a/src/lib/push.rs +++ b/src/lib/push.rs | |||
| @@ -444,7 +444,7 @@ pub async fn select_servers_push_refs_and_generate_pr_or_pr_update_event( | |||
| 444 | } | 444 | } |
| 445 | } | 445 | } |
| 446 | if !to_try.is_empty() || !repo_grasps.is_empty() { | 446 | if !to_try.is_empty() || !repo_grasps.is_empty() { |
| 447 | println!( | 447 | eprintln!( |
| 448 | "pushing proposal refs to {}", | 448 | "pushing proposal refs to {}", |
| 449 | if repo_ref.maintainers.contains(&user_ref.public_key) { | 449 | if repo_ref.maintainers.contains(&user_ref.public_key) { |
| 450 | "repository git servers" | 450 | "repository git servers" |
| @@ -457,7 +457,7 @@ pub async fn select_servers_push_refs_and_generate_pr_or_pr_update_event( | |||
| 457 | } | 457 | } |
| 458 | ); | 458 | ); |
| 459 | } else { | 459 | } else { |
| 460 | println!( | 460 | eprintln!( |
| 461 | "The repository doesn't list a grasp server which would otherwise be used to submit your proposal as nostr Pull Request." | 461 | "The repository doesn't list a grasp server which would otherwise be used to submit your proposal as nostr Pull Request." |
| 462 | ); | 462 | ); |
| 463 | } | 463 | } |
| @@ -550,7 +550,7 @@ pub async fn select_servers_push_refs_and_generate_pr_or_pr_update_event( | |||
| 550 | git_ref = Some(git_ref_or_branch_name); | 550 | git_ref = Some(git_ref_or_branch_name); |
| 551 | break; | 551 | break; |
| 552 | } | 552 | } |
| 553 | println!("invalid clone url"); | 553 | eprintln!("invalid clone url"); |
| 554 | } | 554 | } |
| 555 | continue; | 555 | continue; |
| 556 | } | 556 | } |
| @@ -615,7 +615,7 @@ pub async fn select_servers_push_refs_and_generate_pr_or_pr_update_event( | |||
| 615 | } else { | 615 | } else { |
| 616 | untried_user_grasp_servers | 616 | untried_user_grasp_servers |
| 617 | }; | 617 | }; |
| 618 | println!( | 618 | eprintln!( |
| 619 | "{} personal-fork so we can push commits to your prefered grasp servers", | 619 | "{} personal-fork so we can push commits to your prefered grasp servers", |
| 620 | if user_repo_ref.is_some() { | 620 | if user_repo_ref.is_some() { |
| 621 | "Updating" | 621 | "Updating" |
| @@ -690,7 +690,7 @@ pub async fn select_servers_push_refs_and_generate_pr_or_pr_update_event( | |||
| 690 | } | 690 | } |
| 691 | // the loop with continue with the grasp servers | 691 | // the loop with continue with the grasp servers |
| 692 | }; | 692 | }; |
| 693 | println!( | 693 | eprintln!( |
| 694 | "posting {}", | 694 | "posting {}", |
| 695 | if events.iter().any(|e| e.kind.eq(&Kind::GitStatusClosed)) { | 695 | if events.iter().any(|e| e.kind.eq(&Kind::GitStatusClosed)) { |
| 696 | "proposal revision as new PR event, and a close status for the old patch" | 696 | "proposal revision as new PR event, and a close status for the old patch" |