* Wookey <woo...@wookware.org> [2024-08-12 12:59]:
Pull requests are (AIUI) github's proprietary interface. I have have never used those and am not keen to start.
I don't want to force you to use anything proprietary but I fail to see how they are special. They work the same way as a merge request on Gitlab/Salsa and are basically just a git branch and work just like a Github issue, otherwise.
If you have no intention to look into it, would you be ok if I send your patch upstream instead?
Cheers Jochen
signature.asc
Description: PGP signature
