Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Avoid putting links to all upstream PRs in the description #14

Merged
merged 1 commit into from
Dec 3, 2021
Merged

Avoid putting links to all upstream PRs in the description #14

merged 1 commit into from
Dec 3, 2021

Commits on Dec 2, 2021

  1. Avoid putting links to all upstream PRs in the description 

    The default pull request description (from the `--fill` argument) will
put a reference to each upstream pull request in our pull request
description. That will in turn cause Github to add an event on the
upstream PR indicating that our sync PR references it.

This is unnecessary noise, so instead use a stock title and body for our
sync pull requests.
    Josh Peterson committed Dec 2, 2021
    Configuration menu
    Copy the full SHA
    082048a View commit details
    Browse the repository at this point in the history