@widr I have a plugin that lets me push to and from git repositories despite not using git. But then Android Studio tried to query the git repo. And there *was* no git repo.