Disallow importing the same github repository twice

[Discusser]

In the import from github modal, you can select a repository, import, then select it again. It would be better if a repository could only be imported once.
This could be done by disabling the checkbox for a repository in the import modal if it has already been imported.