I'd like to discuss about the status of ChangeLog.
I don't like to include ChangeLog recently because my patches
are reviewed in undetermined order, with ChangeLog entries in
the patch, it will surely get merge/rebase conflict. Also the
date would be inaccurate.
Of course I can manually add
I don't know if these 2 patches reached Waldek's mailbox or otherwise.
(BTW, lynx can browse through https://github.com/fricas/fricas/pulls
to see open PRs.)
They were submitted 10 days ago and I hope to get reviews.
https://github.com/fricas/fricas/pull/93
On 29.06.22 12:33, oldk1331 wrote:
I'd like to discuss about the status of ChangeLog.
I don't like to include ChangeLog recently because my patches
are reviewed in undetermined order, with ChangeLog entries in
the patch, it will surely get merge/rebase conflict. Also the
date would be
On Wed, Jun 29, 2022 at 06:33:21PM +0800, oldk1331 wrote:
> I'd like to discuss about the status of ChangeLog.
>
> I don't like to include ChangeLog recently because my patches
> are reviewed in undetermined order, with ChangeLog entries in
> the patch, it will surely get merge/rebase conflict.
On 6/29/22 23:05, Waldek Hebisch wrote:
> On Wed, Jun 29, 2022 at 10:00:21PM +0800, Qian Yun wrote:
>> I don't know if these 2 patches reached Waldek's mailbox or otherwise.
>>
>> (BTW, lynx can browse through https://github.com/fricas/fricas/pulls
>> to see open PRs.)
>>
>> They were submitted 10
On Wed, Jun 29, 2022 at 10:00:21PM +0800, Qian Yun wrote:
> I don't know if these 2 patches reached Waldek's mailbox or otherwise.
>
> (BTW, lynx can browse through https://github.com/fricas/fricas/pulls
> to see open PRs.)
>
> They were submitted 10 days ago and I hope to get reviews.
>
>
On Wed, Jun 29, 2022 at 11:20:33PM +0800, oldk1331 wrote:
> On 6/29/22 23:05, Waldek Hebisch wrote:
> > On Wed, Jun 29, 2022 at 10:00:21PM +0800, Qian Yun wrote:
> >> I don't know if these 2 patches reached Waldek's mailbox or otherwise.
> >>
> >> (BTW, lynx can browse through
Could you consider forwarding github replies to this list
in the future?
I don't understand. In my case github sends me a mail to my mailbox. I
can simply reply to that mail and it ends up in the github message queue
of the particular discussion.
Ralf
--
You received this message because
On 6/30/22 00:09, Ralf Hemmecke wrote:
>> Could you consider forwarding github replies to this list
>> in the future?
>
> I don't understand. In my case github sends me a mail to my mailbox. I
> can simply reply to that mail and it ends up in the github message queue
> of the particular
