This repository has been archived by the owner on Jun 14, 2020. It is now read-only.

repo-settings in user-settings #39

Open

lourot opened this issue Jul 8, 2018 · 0 comments

Labels

Member

lourot commented Jul 8, 2018

It might happen that a repo owner refuses the repo-settings, like in dnschneid/crouton#3816.

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

lourot added the enhancement label

lourot added this to the programmer resume milestone

lourot removed this from the programmer resume milestone

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.