Forwarding of Issues and PRs from GitHub to the vim_dev List

41 views
Skip to first unread message

Gary Johnson

unread,
May 28, 2024, 3:03:35 PM5/28/24
to vim...@googlegroups.com
I follow Vim development activity through the vim_dev mailing list
rather than at https://github.com/vim/vim/. That generally works
well, except that I seem to miss the original postings of some
issues and/or PRs. I see responses, but not the original postings,
so I'm potentially missing postings that no one responds to.

A recent example is Christian's PR #14862. I saw only Ben's comment
(and now mine) in the list.

Is the connection from GitHub to the list broken, or do I have
something misconfigured?

Regards,
Gary

shane.qian

unread,
May 29, 2024, 10:17:41 AM5/29/24
to vim...@googlegroups.com
I guess the forwarding was setup at Christian's laptop, when it power off, then it stopped forwarding. :lol:

--
shane.xb.qian

Christian Brabandt

unread,
May 30, 2024, 4:20:23 AM5/30/24
to vim...@googlegroups.com
There either seems to be some rate-limiting done by Google Groups or
those messages got blocked by Google for other reasons (like they
trigger some spam or other fraud detection). There is nothing I can do
to fix this unfortunately if I don't know what is the reason for this.

I think the easiest way to follow Vim Development from Github is, if you
got to the Vim Repository page on Github https://github.com/vim/vim and
you click on the little watch button. Then you receive notifications for
all PRs, Issues and activities there in. Of course this requires to have
a github account.

PS: The forwarding of the messages does not happen via my laptop :)

Best,
Christian
--
Albrecht's Law:
Social innovations tend to the level of minimum tolerable well-being.

shane.qian

unread,
May 30, 2024, 4:55:04 AM5/30/24
to vim...@googlegroups.com
> I think the easiest way to follow Vim Development from Github is, if you
> got to the Vim Repository page on Github https://github.com/vim/vim and
> you click on the little watch button. Then you receive notifications for
> all PRs, Issues and activities there in. Of course this requires to have
> a github account.

unfortunately it would get lots dup mails if so.

> PS: The forwarding of the messages does not happen via my laptop :)

it is a 'joke', but it worked like it at beginning when you just startup but get none later which looked your laptop poweroff :smile:

--
shane.xb.qian

Gary Johnson

unread,
May 30, 2024, 10:10:02 AM5/30/24
to vim...@googlegroups.com
On 2024-05-30, Christian Brabandt wrote:
> On Di, 28 Mai 2024, Gary Johnson wrote:
>
> > I follow Vim development activity through the vim_dev mailing list
> > rather than at https://github.com/vim/vim/. That generally works
> > well, except that I seem to miss the original postings of some
> > issues and/or PRs. I see responses, but not the original postings,
> > so I'm potentially missing postings that no one responds to.
> >
> > A recent example is Christian's PR #14862. I saw only Ben's comment
> > (and now mine) in the list.
> >
> > Is the connection from GitHub to the list broken, or do I have
> > something misconfigured?
>
> There either seems to be some rate-limiting done by Google Groups or
> those messages got blocked by Google for other reasons (like they
> trigger some spam or other fraud detection). There is nothing I can do
> to fix this unfortunately if I don't know what is the reason for this.
>
> I think the easiest way to follow Vim Development from Github is, if you
> got to the Vim Repository page on Github https://github.com/vim/vim and
> you click on the little watch button. Then you receive notifications for
> all PRs, Issues and activities there in. Of course this requires to have
> a github account.

I have a GitHub account, but the email address associated with it is
my personal/social/household email account which I read with a web
mail client. The traffic to it from GitHut is pretty low. For the
vim_dev list and all other technical email lists, I use a different
account which I regularly fetch and read using a procmail-like
filter and mutt. I haven't figured out how to change the email
address that my GitHub account uses for notifications without
messing up who-knows-what-else associated with that account.
I suppose I could create a new account with my technical email
address just for notifications.

Regards,
Gary

Reply all
Reply to author
Forward
0 new messages