diff options
Diffstat (limited to 'src/lib/push.rs')
| -rw-r--r-- | src/lib/push.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lib/push.rs b/src/lib/push.rs index 7374fb0..2f9a26a 100644 --- a/src/lib/push.rs +++ b/src/lib/push.rs | |||
| @@ -745,7 +745,9 @@ pub async fn push_refs_and_generate_pr_or_pr_update_event( | |||
| 745 | merge_base, | 745 | merge_base, |
| 746 | &[clone_url], | 746 | &[clone_url], |
| 747 | &[], | 747 | &[], |
| 748 | )? | 748 | git_repo.get_path().ok(), |
| 749 | ) | ||
| 750 | .await? | ||
| 749 | }; | 751 | }; |
| 750 | 752 | ||
| 751 | let git_ref_used = git_ref | 753 | let git_ref_used = git_ref |