mirror of
https://github.com/go-gitea/gitea.git
synced 2024-05-11 05:55:29 +00:00
* 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]>