>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.