repo-settings in user-settings

[lourot]

It might happen that a repo owner refuses the repo-settings, like in https://github.com/dnschneid/crouton/pull/3816.

In that case it should be possible for the user to commit this metadata in their own user-settings (see #12).