Allowing extended HTTP methods

2024-03-27 Thread Ryan Raymond
I'm not sure how pull-requests are handled in this project, but Maxime suggested I send the PR to this mailing list. The following changes since commit 48548df91e9eb5d4a46391da0ad0a8cdd3387857: Fix effects analysis: field writes clobber object reads (2024-03-20 11:50:53 +0100) are available

RE: How to get pull-request feedback

2024-03-27 Thread Maxime Devos
>I am trying to contribute to Guile but I cannot figure out how I am supposed >to do it. I submitted a pull request, but I cannot see the status of that >request on cgit. Do we even use pull requests or do we do pushes? So I need to >get put on the member list by filing a request for inclusion?

Re: How to get pull-request feedback

2024-03-27 Thread Ryan Raymond
Oh I'm so embarrassed. I thought git pull-request sent an email to the git server the same way one might push changes. I didn't realize I would need to copy that pull request message and send it as an email. Thanks Maxime. I feel like you've really done a lot to help me out and I appreciate it.