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
..
2019-11-14 10:57:36 +08:00
2019-10-17 10:06:28 +08:00
2020-09-09 14:08:40 +01:00
2020-09-08 12:29:51 -04:00
2020-09-09 15:08:55 -04:00
2020-09-10 23:29:19 +01:00
2020-09-14 23:32:31 -04:00
2020-08-18 12:23:45 +08:00
2020-09-11 10:14:48 -04:00
2020-03-28 01:13:18 -03:00