Preparatory work for auto config reload
This is the prefix of !280 (merged) that we have agreed to merge:
17:11 <+nickm> Diziet: Yes, we can indeed git-push directly. We haven't
decided on answers for you other questions though.
17:12 <+Diziet> nickm: OK then, well, let's reserve "push directly" for
rescuing messes or emergencies
17:12 <+Diziet> I'll make an MR for the subset I like and merge it
17:12 <+nickm> ok
17:12 <+Diziet> And open another MR on top for my style suggestions
17:12 <+Diziet> I mean, the generics
17:13 <+Diziet> Then we can have one place for just that conversation
17:13 <+nickm> ok. And the other style suggestions I can do an MR for.