On Sat, Nov 12, 2022 at 08:29:17PM -0000, Sergey Mende wrote:
Hi,
during development of my own project I hit the bug in `gdb` that is already fixed
upstream but not backported to rawhide yet.
I did a backport and ready to submit a PR. What is the right way to proceed:
a) just file a PR;
b) open a bug in bugzilla, submit a PR;
c) submit a PR, open a bug in bugzilla noting that PR is in a way?
There's no hard rule or even good convention here, but I would
personally say just a PR and waiting a bit would be best. If there's no
answer after a while, a bug could be filed to attract the maintainers(s)
attention.
kevin