New comment by Piraty on void-packages repository

https://github.com/void-linux/void-packages/pull/22102#issuecomment-630673354

Comment:
just a hint: please think about if such information is a) useful per se or redundant just by looking at the patch b) is really useful and therefore better suited to be included in the commit's text, as github PRs are to be considered volatile whereas the git-log is not, also no one really looks up the relavant information of a patch here after its merged but consults the git-log first, so better put the traces right there