Skip to content

database: Drop unused default_repos table

Administrator requested to merge drop-default-repos into main

Created by: tsenart

We replaced the default_repos table with selecting all repos with a minimum number of stars. This commit drops that table and removes any dangling references to the term.

In addition to that, we drop an unused index I noticed being reported in PGHero.

Merge request reports