Lunny Xiao 67f135ca5d Fix archive error when rename repo or user (#16399)
Use repo id instead of full name to generate archive path
2021-07-13 14:16:31 +02:00
..
2021-06-06 19:44:58 -04:00
2020-10-31 23:42:54 +08:00