New comment by mhmdanas on void-packages repository https://github.com/void-linux/void-packages/pull/41893#issuecomment-1488197422 Comment: @Piraty is it not preferred to use the repo's URL?