On 2024-08-12 14:07 +0200, Jochen Sprickerhof wrote: > * 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.
An interesting philiosophical question that I shall ponder further. > If you have no intention to look into it, would you be ok if I send your > patch upstream instead? Absolutely. Please do. I think that's easiest for now. Wookey -- Principal hats: Debian, Wookware, ARM http://wookware.org/
signature.asc
Description: PGP signature
