* Stop cloning unnecessarily on PR update Fix #12740 Signed-off-by: Andrew Thornton <[email protected]> * Remove unnecessary delete Signed-off-by: Andrew Thornton <[email protected]> * fix lint Signed-off-by: Andrew Thornton <[email protected]> Co-authored-by: Lunny Xiao <[email protected]>