Best way to submit patches to packetdrill

[Radu Rendec]

Hello everyone,

I ran into some issues with the epoll_out_edge* test cases on recent
kernels. This is not something new - those issues were discussed before
in a different thread [1].

I made a patch that attempts to fix these issues, and created a pull
request on GitHub [2]. I haven't received any feedback there, so I'm
wondering if that's the best way to submit a patch. Should I also open
an issue on GitHub and link to the pull request?

One of my colleagues worked on a different issue and posted a similar
pull request [3]. Even though the issues are not related, our approach
to posting the patches was similar.

Thanks in advance!

Best regards,
Radu Rendec

[1] https://groups.google.com/g/packetdrill/c/_BgSbEo7Nz8
[2] https://github.com/google/packetdrill/pull/76
[3] https://github.com/google/packetdrill/pull/77