Lunny Xiao a3928fd820 Fix missing repository status when migrating repository via API (#9511) ...

* Fix API migration wrong repository status

* Force push for ci

2019-12-27 14:34:28 +02:00

..

v1

Fix missing repository status when migrating repository via API (#9511)

2019-12-27 14:34:28 +02:00