Re: [cdt-dev] make the cmake error parser public API?

[Martin Weber <fifteenknots505@xxxxxxxxx>]

Am Montag, 12. September 2022, 21:23:07 CEST schrieb Jonah Graham:
> On Mon, 12 Sept 2022 at 14:39, Martin Weber <fifteenknots505@xxxxxxxxx>
> 
> wrote:
> > Am Sonntag, 11. September 2022, 13:54:19 CEST schrieb Jonah Graham:
> > > Not needed, the PR that makes the change will be picked up when it is
> > > tagged with the CDT 11 milestone.
> > 
> > I'm stuck with creating the PR.
> > The 'creat PR' button is always disabled.
> > What am I doing wrong?
> 
> Not sure - my guess is that GitHub has failed to auto-populate the "Title"
> of the PR so it is remaining disabled. I think that GitHub doesn't have a

Facepalm: Yes, specifying a title made it working.

/Martin

-- 
Cd wrttn wtht vwls s mch trsr.