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.

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

Update PULL_REQUEST_TEMPLATE.md #6293

Merged
merged 3 commits into from May 22, 2024
Merged

Conversation

mtmccrea
Copy link
Member

@mtmccrea mtmccrea commented May 4, 2024

Purpose and Motivation

In response to some discussion on the PR process, I'm proposing some notes be added to the PR template:

  • Add note about including a description even when linking to related issues
  • Add note about option of draft PR
  • Add optional merge notes

To-do list

  • Code is tested
  • This PR is ready for review

- Add note about including a description even when linking to related issues
- Add note about option of draft PR
- Add optional merge notes
@JordanHendersonMusic
Copy link
Contributor

JordanHendersonMusic commented May 4, 2024

Add note about option of draft PR

Might it be worth removing the label 'Work In Progress (WIP) do not merge yet'? We could migrate those prs with the label to drafts?

@mtmccrea
Copy link
Member Author

mtmccrea commented May 4, 2024

Might it be worth removing the label 'Work In Progress (WIP) do not merge yet'? We could migrate those prs with the label to drafts?

I agree in principle, though I don't have a working knowledge of draft PRs (soon, hopefully), or the process/effect of changing an active PR to a draft, so someone who does would have to weigh in...

@JordanHendersonMusic
Copy link
Contributor

Perhaps you could also mention something about labels? All commits should at least have a comp: label.

@mtmccrea
Copy link
Member Author

mtmccrea commented May 7, 2024

Good idea.

I understand you to mean using the recommended commit message format (as opposed to assigning a label to the PR), correct?

Updated with a note about commit message format (and updated the wiki with common comp: tags), lmk what you think...

@JordanHendersonMusic
Copy link
Contributor

Hmm, I can't quite parse what you're saying...

All prs (and issues) must have a comp:* label -
https://github.com/supercollider/supercollider/wiki/Labels-and-milestones-for-PRs-and-Issues

Perhaps the comment about commit message format and mandatory labels should go right at the top, not at the bottom, as it's easy to miss and not really a note, but a (soft) requirement?

@JordanHendersonMusic JordanHendersonMusic added the comp: project docs READMEs, info on contributing, etc. label May 7, 2024
@mtmccrea
Copy link
Member Author

mtmccrea commented May 7, 2024

All commits should at least have a comp: label.

Perhaps you meant to say all PRs should have...

Commits are also recommended to have a message format beginning with a comp:, so I thought you were referring to that.

AFAIK only those with write access can assign labels, i.e. not all PR authors will be able to add them. Reviewers should hopefully know about this, but if you think it would be useful to mention I could add it.

Perhaps the comment about commit message format and mandatory labels should go right at the top, not at the bottom, as it's easy to miss and not really a note, but a (soft) requirement?

I agree it's not optimal—trying to find a balance between front-loading the necessary stuff with tips/reminders at the end. I'll try it out...

@JordanHendersonMusic
Copy link
Contributor

I could have sworn you could add labels to your own prs and issues... I think I've got another GitHub account somewhere so I'll give it a go and report back!

@JordanHendersonMusic
Copy link
Contributor

Ah no your right! I wouldn't mention labels then.

@mtmccrea
Copy link
Member Author

mtmccrea commented May 7, 2024

I tried moving the note about commit message to the top and it was just distracting. It's the kind of thing you really only need to see once or twice, essentially we just want new contributors to be informed given they likely haven't seen the wiki.

I'm thinking the end may be the least obtrusive? Open to other options or just bagging it if it's overkill.

I could have sworn you could add labels to your own prs and issues...

I just had a hunch about it and confirmed with a quick search, but maybe that's not the best confirmation X-D

@mtmccrea
Copy link
Member Author

mtmccrea commented May 9, 2024

Merging Reviewer, please squash!

@mtmccrea mtmccrea added the has merge note The Conversation has a note concerning how/when this PR is merged label May 9, 2024
@mtmccrea mtmccrea merged commit 766791c into develop May 22, 2024
40 of 42 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
comp: project docs READMEs, info on contributing, etc. has merge note The Conversation has a note concerning how/when this PR is merged
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants