redo since including the repo in user settings will cause strange bugs