GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — Link to GitHub PR from bpo emails · Issue #35 · python/core-workflow

Link to GitHub PR from bpo emails #35

New issue
Copy link
New issue
Copy link
Closed
Closed
Link to GitHub PR from bpo emails#35
Copy link

Description

@Mariatta
Mariatta
opened on Feb 18, 2017
Issue body actions

When someone creates a pull request that links to a bpo issue, there would be email sent to the issue subscribers / nosy list, for example:

Changes by Mariatta Wijaya <[email protected]>:


----------
pull_requests: +70
  1. Does 70 here refer to GitHub pull request number 70? (eg Add Travis CI and Codecov badges to README cpython#70)
  2. Instead of a plaintext +70, can it be a link to the said pull request?

Thanks :)

Activity

  1. ezio-melotti commented on Feb 21, 2017

    @ezio-melotti
    ezio-melotti
    on Feb 21, 2017
    Member
    More actions
    1. The 70 only refers to pull_request item of the tracker, i.e. https://bugs.python.org/pull_request70
      The actual PR number is different, as you can see from the link (in this case is bpo-29481: add versionadded 3.6.1 to typing.Deque docs cpython#107).
    2. These mails are automatically generated, and I'm not aware of a way to change them and insert the link. It should be possible, but probably it's not too straightforward, and it might not be worth the effort.
    Reacted by Berker Peksag
  2. Mariatta commented on Mar 6, 2017

    @Mariatta
    Mariatta
    on Mar 6, 2017
    MemberAuthor
    More actions

    Thanks for the info, @ezio-melotti
    If there's no straightforward way to do it, then let's not bother for now.

  3. Mariatta
    closed this as completedon Mar 6, 2017
  4. ncoghlan commented on Apr 1, 2017

    @ncoghlan
    ncoghlan
    on Apr 1, 2017
    Contributor
    More actions

    I'm reopening this, as the status quo is genuinely confusing when one PR references multiple issues - each email has a different numeric identifier for the PR, even if they're all related to the same PR. (I'd be surprised if it ever happens again to the degree it did when the draft NEWS generation PR was closed, but I'd also be surprised if it never happens at all)

    Rather than attempting to customise these emails directly, would it possible to turn off email notifications for PR additions and state changes entirely, and instead inject more meaningful comments describing the state change?

  5. ncoghlan
    reopened this on Apr 1, 2017
  6. ezio-melotti commented on Apr 1, 2017

    @ezio-melotti
    ezio-melotti
    on Apr 1, 2017
    Member
    More actions

    If you want to continue the discussion I'd suggest moving it to the meta-tracker:
    http://psf.upfronthosting.co.za/roundup/meta/issue624

  7. ezio-melotti
    closed this as completedon Apr 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      You are visitor 01402503 — GeezerVison does not store the pages you look up.
      Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.