On Sat, Nov 30, 2019 at 7:37 AM Angel Pons wrote:
>
> Hi everyone,
>
> On Sat, Nov 30, 2019, 14:15 Nico Huber wrote:
>>
>> Hi all,
>>
>> the GitHub PR topic popped up from time to time on IRC in the past but
>> it seems we never discussed it here or came to any conclusion that led
>> to action.
Hi everyone,
On Sat, Nov 30, 2019, 14:15 Nico Huber wrote:
> Hi all,
>
> the GitHub PR topic popped up from time to time on IRC in the past but
> it seems we never discussed it here or came to any conclusion that led
> to action.
>
> When we switched to Git, we wrote down three ways to send
Hi all,
the GitHub PR topic popped up from time to time on IRC in the past but
it seems we never discussed it here or came to any conclusion that led
to action.
When we switched to Git, we wrote down three ways to send patches [1]:
o Via our mailing list
o Via gerrit on coreboot.org
o
