New comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/43143#issuecomment-1493328645

Comment:
> is the repository syncing correctly by now, or should i wait to rebase this?

CI repository was switched to repo-de for now, so it will work

EDIT: it's back on repo-fi which is syncing now