New comment by ar-jan on void-packages repository

https://github.com/void-linux/void-packages/pull/40293#issuecomment-1341572203

Comment:
@tranzystorek-io but it is possible to do `git push -f origin new_branchname:old_branchname`.