Fix profile saving issues when github repos are empty