Two quick things, - it would be helpful if people didn't use github PATCHFILES, they are even more likely to change than git-archive tgz. In the case I just fixed the commit hash had lengthened by 1 char.
- if a distfile's contents change in any way, please use the DISTFILES
or PATCHFILES "{url}" syntax to rename it, we have different
architectures starting builds at different times, plus -current and
-stable, so once downloaded on the build cluster a file needs to not
change.
