-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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
Add REP-144 check list to pr template, and split pull request template files #40518
base: master
Are you sure you want to change the base?
Conversation
Is the |
As far as I can tell, this feature has been available for a few years. One caveat is that GitHub lacks a user-friendly interface for selecting templates, unlike GitHub issue templates (eg. ros2-gbp's issue template selection). Without a user-friendly interface, to access the other templates, one needs to utilize a query string in the URL (e.g., Here's a screenshot of the root PR: |
This PR hasn't been activity in 14 days. If you are still are interested in getting it merged please provide an update. Otherwise it will likely be closed by a rosdistro maintainer following our contributing policy. It's been labeled "stale" for visibility to the maintainers. If this label isn't appropriate, you can ask a maintainer to remove the label and add the 'persistent' label. |
Please remove the 'stale' label, this is waiting for review |
This PR hasn't been activity in 14 days. If you are still are interested in getting it merged please provide an update. Otherwise it will likely be closed by a rosdistro maintainer following our contributing policy. It's been labeled "stale" for visibility to the maintainers. If this label isn't appropriate, you can ask a maintainer to remove the label and add the 'persistent' label. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm in favor of this change.
I hatelove the "hack" of using the default pull request template to try and provide the user interface that GitHub won't.
This adds additional "steps" to the contribution process for ros/rosdistro but makes the pull request templates more legible. I am not a product manager so I don't know what conventional wisdom suggests this would do to our "funnel" for contributors. Before I approve and merge this, I want to bring it to a ROS 2 meeting.
This PR hasn't been activity in 14 days. If you are still are interested in getting it merged please provide an update. Otherwise it will likely be closed by a rosdistro maintainer following our contributing policy. It's been labeled "stale" for visibility to the maintainers. If this label isn't appropriate, you can ask a maintainer to remove the label and add the 'persistent' label. |
I haven't done this yet. It slipped my mind for the last ROS 2 meeting I attended. I've put it on the prospective agenda for the next ROS 2 meeting. In the intervening weeks I realized that a more radical alternative would be to separate the official rosdep sources into their own repository, thus focusing the pull request guidelines and template on rosdistro operations, which may reduce the need to work around things in this manner. It seems like the |
Supercedes #39987.