Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Switch to using HTTPS instead of FTP
HTML scraping isn't ideal, but is way faster and hopefully is more reliable and puts us on the correct side of the notice on https://ftp.gnu.org/: NOTICE (Updated October 15 2021): If you maintain scripts used to access ftp.gnu.org over FTP, we strongly encourage you to change them to use HTTPS instead. Eventually we hope to shut down FTP protocol access, but plan to give notice here and other places for several months ahead of time.
- Loading branch information