Skip to content
New issue

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

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

Already on GitHub? # to your account

Add an optional title parameter to the overlay pull_request method #216

Merged

Conversation

andre-rosa
Copy link
Contributor

@andre-rosa andre-rosa commented Jun 28, 2019

  • Allows the caller to customize the pull request title as needed

Fixes #215 .

  - Allows the called to customize the pull request title as needed
@andre-rosa
Copy link
Contributor Author

@allenh1 << Ptal

Copy link
Contributor

@allenh1 allenh1 left a comment

Choose a reason for hiding this comment

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

lgtm

@allenh1 allenh1 merged commit d4ddb2e into ros-infrastructure:master Jul 1, 2019
@andre-rosa andre-rosa deleted the customize_PR_with_title branch July 8, 2019 02:24
zffgithub pushed a commit to zffgithub/superflore that referenced this pull request Apr 11, 2023
…os-infrastructure#216)

- Allows the called to customize the pull request title as needed
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Allow customizing the PR title
3 participants