Hi Shunji,
Steps prior to removal of repository should be similar to that of 7.2 which is explained in below link,
SAP released a job to remove repository in RDS package for 7.2
I assume we would get a similar job in RDS package for 8.0 which is due by next week, I guess 29th Sept.
Kind regards,
Jai