[PATCH 1/6] build-system: replace use of ssh with wget for checking the website

From: David Bremner The idea is to see if the version we are already releasing exists on the notmuch website. Using wget allows more people to run this target, and also allows people with ssh access to run it without access to their keys. --- Makefile.local | 15

[PATCH 1/6] build-system: replace use of ssh with wget for checking the website

From: David Bremner brem...@debian.org The idea is to see if the version we are already releasing exists on the notmuch website. Using wget allows more people to run this target, and also allows people with ssh access to run it without access to their keys. --- Makefile.local | 15