Learn more about these different git repos.
Other Git URLs
4669725
backend, frontend, common: automatically delete PR CoprDirs Using another daily Cron job, delete all outdated pull-request directories from DB, and also generate a new action that will remove the corresponding data on the backend side. Fixes: #820