You are viewing a plain text version of this content. The canonical link for it is here.
Posted to infrastructure-issues@apache.org by "Thomas Weise (JIRA)" <ji...@apache.org> on 2016/09/15 15:15:20 UTC
[jira] [Commented] (INFRA-12419) Github Integration
[ https://issues.apache.org/jira/browse/INFRA-12419?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=15493612#comment-15493612 ]
Thomas Weise commented on INFRA-12419:
--------------------------------------
As of today, the PR comments are back hitting the dev list. Is that due to changes on the github side (I noticed new things in the PR review tool)?
> Github Integration
> ------------------
>
> Key: INFRA-12419
> URL: https://issues.apache.org/jira/browse/INFRA-12419
> Project: Infrastructure
> Issue Type: Github Integration
> Components: Github
> Reporter: Thomas Weise
> Assignee: Daniel Gruno
> Priority: Minor
>
--
This message was sent by Atlassian JIRA
(v6.3.4#6332)