./auto repo-add can now add multiple repos; better behavior when removing multiple repos