David Bremner <david@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.
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch