Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Push update after branch is restored (#9416)
* Push update after branch is restored Signed-off-by: Mario Lubenka <mario.lubenka@googlemail.com> * Apply suggestions from code review Use name from deletedBranch Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com> Co-authored-by: Lauris BH <lauris@nix.lv>
- Loading branch information