
Submitting settings when no repo is selected results in an error. Even worse, we will be loading previous settings whenever a repo is selected, which will undo any changes made. Therefore we should not allow users to configure anything until they choose a repo.
I suggest that we start by having a simple message like the one shown in the image above, but in the future we can allow the user to learn about the tools before selecting a repo.