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.

On Wed, Mar 27, 2024, 10:15 AM Maxime Devos <maximedevos@telenet.be> wrote:

> >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?
>
>
>
> Where can people find this pull request?  Like, is this a ‘git
> request-pull’-style PR send by e-mail, a ‘git request-pull’-style PR that
> was formatted by ‘git request-pull’ but you forgot to send, a PR on an
> unofficial GitHub mirror that almost nobody looks at, some Savannah feature
> unknown to me, or ...
>
>
>
> > do we do pushes?
>
>
>
> If with this you mean that people with contributions directly push it to
> the main branch: no.
>
>
>
> > So I need to get put on the member list by filing a request for
> inclusion?
>
>
>
> No.
>
>
>
> I have done contributions in the past without having an account on
> Savannah and without any kind of administration – I just send patches to
> guile-devel@gnu.org with a cover message.  (Or without cover message if
> it’s just a single patch.)
>
>
>
> Best regards,
>
> Maxime Devos.
>