From 331f630328bba935a6d214c59ab2e0517f025c63 Mon Sep 17 00:00:00 2001 From: DanConwayDev Date: Tue, 23 May 2023 09:44:06 +0000 Subject: fix branch push permissions --- src/fetch_pull_push.rs | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) (limited to 'src/fetch_pull_push.rs') diff --git a/src/fetch_pull_push.rs b/src/fetch_pull_push.rs index a1faece..66c8361 100644 --- a/src/fetch_pull_push.rs +++ b/src/fetch_pull_push.rs @@ -317,7 +317,16 @@ pub fn fetch_pull_push( "you are a repo maintainer and have the permission to push to '{}'!", &confirmed_branch_name, ) - } else { + } if match branch_refs.is_authorized(Some(&branch_id), &keys.public_key()) { + None => false, + Some(authorized) => authorized, + } { + println!( + "you have the permission to push to '{}'!", + &confirmed_branch_name, + ) + } + else { panic!( "You are not a repo maintainer so you don't have permission to push to '{}' branch :(", &confirmed_branch_name, -- cgit v1.2.3