Patch Set 8: Looks good to me, but someone else must approve; IP review completed

- rebased
- found a use case why "Import Projects" should not be disabled: create a new project, share it with Git, create new repo, remove repository and project from workspace but don't delete them, add the repository again, now you need a way to import the project again despite the repo is empty, hence re-enabled "Import Projects"
- disabled also "Push..." in the git repositories view