New comment by MouadCharradi on void-packages repository https://github.com/void-linux/void-packages/pull/35700#issuecomment-1049540136 Comment: @paper42 I'm so sorry, I didn't notice that force pushing a branch after pulling from the main repo was closing the PRs, I thought it was deleting them for some reason. I apologize once again for the spam, and I will make sure for that not to happen again