Skip to content

Clarify teminology (around providers) and misc cleanup

I extracted all of what I consider cosmetic changes from !375 (merged) into this changeset. There should be no behaviour change, except for:

  • Bug fix in DBHelper
  • Different handling of priorities for newly created repos

Everything else if method renames or other misc cleanups.

After this, I'll pull out a different set of changes from !375 (merged) and then rebase it on this again.

Merge request reports