subject: [GitHub] [%(repository)s] %(user)s merged pull request #%(pr_id)s: %(title)s | |
%(user)s merged PR #%(pr_id)s: | |
URL: %(link)s | |
-- | |
This is an automated message from the Apache Git Service. | |
To respond to the message, please log on to GitHub and use the | |
URL above to go to the specific comment. | |
To unsubscribe, e-mail: %(ml_list)s-unsubscribe@%(ml_domain)s | |
For queries about this service, please contact Infrastructure at: | |
users@infra.apache.org |