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
