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
..
comments
externalaccount
gitdiff
issue
mailer
mirror
pull
release
repository
wiki