zeripath 342e49e325 Stop cloning unnecessarily on PR update (#12839) ...

* Stop cloning unnecessarily on PR update

Fix #12740

Signed-off-by: Andrew Thornton <art27@cantab.net>

* Remove unnecessary delete

Signed-off-by: Andrew Thornton <art27@cantab.net>

* fix lint

Signed-off-by: Andrew Thornton <art27@cantab.net>

Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>

2020-09-14 23:32:31 -04:00

20 KiB

Raw Blame History

View Raw