New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/41362#discussion_r1059624015

Comment:
When /archive is used and a tag and branch of the same name exist, GitHub will not know which one we want. This bit us in the past and GitHub now gives this URL instead, so we are sometimes switching to it.
It's not anything important, but when someone switches to it, we let it go through and when someone tries to switch back to archive, we ask them to not do that.