Oh, there is an update! 3 days ago, a member of the GitHub "staff" wrote:
"This should be fixed. Please do let us know if it is not."
https://github.community/t/i-am-getting-notifications-due-to-being-mentioned-in-a-commit/172531/32
Victor
On Tue, Apr 6, 2021 at 4:36 PM Victor Stinner wrote:
>
Steve Dower's workflow is to use git merge origin/master, and he did that
earlier today, causing the most recent flurry. His repo is a fork of
cpython but its master branch is 1000s of commits behind, so probably
there's some bug in GitHub where the commits being merged are seen as new.
Mariatta,
On Tue, Apr 6, 2021 at 6:41 PM Pablo Galindo Salgado
wrote:
> I think this is a good motivation to use
> https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request
> instead as you can write your own commit message there and schedule the
I don't have much to add (this occurs to me too and I just bulk-delete the
messages) but I wonder if the problem might be caused by a situation where
GitHub doesn't realize that a repo is a fork of cpython? I suppose that
could happen if someone creates a fresh repo and pushes a local clone of
> This is one of the several reasons that I don't like using the PR
description as the commit message when using auto-merge :).
I think this is a good motivation to use
https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/automatically-merging-a-pull-request
instead as
> P.S. If anyone with communications channels to Github is planning to lobby
> for changes, I'd prefer a way to say, "Never notify me of @ messages in
> commit messages" followed by a special CC: address for easy filtering,
> followed by "Please don't notify me a second time when an identical
I think the real solution to this should come from Github if we can
convince them that it's worth their time to have a separate notification
category for these things. One short-term solution for this might be to
modify the commit messages that automerge uses. The simplest version of
this would be
On Tue, Apr 6, 2021 at 9:36 AM Victor Stinner wrote:
> I'm getting more and more email notifications when a commit contains
> my GitHub handle ("@vstinner"). For example: "Automerge-Triggered-By:
> @vstinner".
Yes, this is a pretty substantial failing of GitHub for popular projects :(
> But the
