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 — Add tricks for the Pull Requests review? · Issue #325 · python/devguide

Add tricks for the Pull Requests review? #325

New issue
Copy link
New issue
Copy link
Open
Open
Add tricks for the Pull Requests review?#325
Copy link
Labels
topic-pull requeststype-featureAdditions; New content or section neededAdditions; New content or section needed

Description

@matrixise
matrixise
opened on Feb 5, 2018
Issue body actions

Hi all,

I would like to add a small section or a paragraph about the review of the Pull Requests. For example, for us, the contributors and core-dev of Python we are looking for the issues of 3.7 and 3.8 (because we have to fix them for these releases ;-))

How can we do that with the interface of Github ? because there is no labels '3.8' or '3.7' on the PRs, but in fact, we can use the advanced search of Github, and add base:3.7 in the search box.

By default, we have is:pr is:open, these criteria will search the Open PRs for the current project, but with is:pr is:open base:3.7, it will search for the Open PRs for the branch 3.7.

So, where could we add this trick about Github? any idea?

Reacted by Erlend E. Aasland and Oleg Iarygin

Activity

  1. willingc
    added
    question
    on Mar 19, 2018
  2. erlend-aasland
    added
    type-featureAdditions; New content or section neededAdditions; New content or section needed
    and removed
    question
    on Aug 8, 2022
  3. erlend-aasland commented on Aug 8, 2022

    @erlend-aasland
    erlend-aasland
    on Aug 8, 2022
    Contributor
    More actions

    SGTM! Promoting creative use of GitHub filtering is nice; I was unaware of the base: keyword until now :) #TIL

  4. willingc
    added
    guide-new content
    type-featureAdditions; New content or section neededAdditions; New content or section needed
    topic-pull requests
    and removed
    type-featureAdditions; New content or section neededAdditions; New content or section needed
    on Oct 11, 2023
  5. StanFromIreland
    removed
    type-feature
    on Mar 3, 2026
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

    topic-pull requeststype-featureAdditions; New content or section neededAdditions; New content or section needed

    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.