5 people 12f9dd8fa9 Decrease the num_stars when deleting a repo (#11954) ...

* Decrease the  num_stars when deleting a repo

fix #11949

Signed-off-by: a1012112796 <[email protected]>

* Add migration

* use batch

* Apply suggestions from code review

Co-authored-by: Lauris BH <[email protected]>

* fix lint

* fix lint

* fix ci

* fix ci2

* add doctor

* duplicate code

* fix migration

* fix some nits

* add start

Co-authored-by: Lauris BH <[email protected]>
Co-authored-by: zeripath <[email protected]>
Co-authored-by: Lunny Xiao <[email protected]>

2020-07-07 15:16:34 -04:00

1.1 KiB

Raw Blame History

View Raw