New review comment by motorto on void-packages repository

https://github.com/void-linux/void-packages/pull/38323#discussion_r932040187

Comment:
Added that change, should I prioritize github when available from other hosts ?