-
Notifications
You must be signed in to change notification settings - Fork 27
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
Placeholders for the original PR author, and user that made the label or comment #75
Comments
@nh2 Sounds like a great addition! I'm almost done finishing up a pull request for #3 by adding a new placeholder For the author of the original pull, I think something like For the other type of user, I'm not sure. Perhaps |
Yes sounds good, or
How about Also I think the docs of such feature should then explain whether the placeholder already contains the Not including the |
@nh2 Thanks for the suggestions! I'll have to think a bit about what I like best for naming. I totally agree with the |
Hi @nh2. I've added the Note that I have not yet released a new version officially, but you can just refer to latest commit on Let me know if you run into any issues. |
I would like to automatically subscribe to the backport PR by
@
-mentioning them:/backport
comment) that triggered the backport PRThe new
pull_description
functionality from PR #64 by @korthout is perfect for that, but we would need placeholder variables for those two users.The text was updated successfully, but these errors were encountered: