Re: Pull-request related question.

2022-11-14 Thread Kevin Fenzi
On Sat, Nov 12, 2022 at 08:29:17PM -, 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

Re: Pull-request related question.

2022-11-12 Thread Sergey Mende
Thank you, Scott. Regards, Sergey On Sun, Nov 13, 2022 at 6:04 AM Scott Talbert wrote: > On Sat, 12 Nov 2022, 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

Re: Pull-request related question.

2022-11-12 Thread Scott Talbert
On Sat, 12 Nov 2022, 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,

Pull-request related question.

2022-11-12 Thread Sergey Mende
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