Skip to content

pr-template: Remove unnecessary references section and add instructions for the PR title.#438

Merged
kirkrodrigues merged 1 commit into
y-scope:mainfrom
kirkrodrigues:update-pr-template
Jun 12, 2024
Merged

pr-template: Remove unnecessary references section and add instructions for the PR title.#438
kirkrodrigues merged 1 commit into
y-scope:mainfrom
kirkrodrigues:update-pr-template

Conversation

@kirkrodrigues

Copy link
Copy Markdown
Member

Description

The references section of the PR template is rarely used and rarely necessary since GitHub often highlights references in the PR description.

This PR removes the section. This PR also adds some instructions about setting the PR title. More elaborate instructions will be in our contribution guidelines.

Validation performed

Rendered the markdown and verified the comments weren't displayed.

@wraymo wraymo left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The PR title works well as a commit message.

@kirkrodrigues kirkrodrigues merged commit 31ee1cb into y-scope:main Jun 12, 2024
@kirkrodrigues kirkrodrigues deleted the update-pr-template branch June 12, 2024 16:53
jackluo923 pushed a commit to jackluo923/clp that referenced this pull request Dec 4, 2024
junhaoliao pushed a commit to junhaoliao/clp that referenced this pull request May 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants