[GitHub Desktop] Update preference/options menu#3582

ethanpalm merged 3 commits intomaingithub/docs:mainfrom

desktop-disabling-repo-indicatorsgithub/docs:desktop-disabling-repo-indicatorsCopy head branch name to clipboard