hello,
1)
this suggestion is triggered by the need for streamlining the addition
of changelog entries by contributors in the CHANGELOG.md file.
right now, we merge PRs that make an important change, but such PRs do
not append a change in the CHANGELOG.md file. adding notes in
CHANGELOG.md has
On 2 February 2018 at 21:07, Dirk Hohndel wrote:
>
>> On Feb 2, 2018, at 10:39 AM, Lubomir I. Ivanov wrote:
>>>
>>> Good to have you back Dirk. As you can see on GitHub, I (and I think most of
>>> guys that can commit to master) sometimes struggle a little
> On Feb 2, 2018, at 10:39 AM, Lubomir I. Ivanov wrote:
>>
>> Good to have you back Dirk. As you can see on GitHub, I (and I think most of
>> guys that can commit to master) sometimes struggle a little with the
>> question "Should I commit this or just wait for Dirk?" And
> On Feb 2, 2018, at 10:32 AM, Jan Mulder wrote:
>
> On 02-02-18 18:51, Dirk Hohndel wrote:
>> Hi there,
>> I’m finally back and feeling well. Still catching up with all the activity
>> on GitHub - it’s so nice to see that things continue even if I’m not
>> available.
>>
On 2 February 2018 at 19:51, Dirk Hohndel wrote:
> Hi there,
>
> I’m finally back and feeling well. Still catching up with all the activity on
> GitHub - it’s so nice to see that things continue even if I’m not available.
> Thanks to Jan, Robert, Lubomir, and everyone else who
On 2 February 2018 at 20:32, Jan Mulder wrote:
> On 02-02-18 18:51, Dirk Hohndel wrote:
>>
>> Hi there,
>>
>> I’m finally back and feeling well. Still catching up with all the activity
>> on GitHub - it’s so nice to see that things continue even if I’m not
>> available.
>>
Hi there,
I’m finally back and feeling well. Still catching up with all the activity on
GitHub - it’s so nice to see that things continue even if I’m not available.
Thanks to Jan, Robert, Lubomir, and everyone else who kept things moving!
It’s been over a month since the last release, the