Use repo to sync Dotfiles instead of Dropbox, since it's taking too long~