David Bremner <david at tethera.net> writes: > Try "git remote prune origin" OK, worked just fine, thanks. Should I mention that an untracked file appeared "notmuch.sym", in the top level directory, without me knowingly building anything.