Suggestion: github releases

FYI, the 3.0.15 download doesn't seem to be working: $ lftp ftp://ftp.freeradius.org/pub/freeradius/freeradius-server-3.0.15.tar.gz cd: Access failed: 550 /pub/freeradius/freeradius-server-3.0.15.tar.gz: No such file or directory Related, there is no release_3_0_15 tag in the github repo. Can I make a suggestion that might kill two birds with one stone? Specifically, perhaps it's worth considering using github releases for the downloads? This will enforce the tagging in the public repy, and also github will handle serving the downloads which is overall likely to be more reliable. Anyway, just a thought. Regards, Phil