|
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 |
|