You are viewing a plain text version of this content. The canonical link for it is here.
Posted to infrastructure-issues@apache.org by "#asfinfra IRC Bot (JIRA)" <ji...@apache.org> on 2013/12/28 22:54:50 UTC

[jira] [Commented] (INFRA-7142) GITHUB mirror not pointing to trunk

    [ https://issues.apache.org/jira/browse/INFRA-7142?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=13858129#comment-13858129 ] 

#asfinfra IRC Bot commented on INFRA-7142:
------------------------------------------

<Humbedooh> Default branch is set to trunk now. As for becoming admins of the repo, I'm afraid the answer is no, however you should be able to close PRs using commit messages, please see the github help pages for this.


> GITHUB mirror not pointing to trunk 
> ------------------------------------
>
>                 Key: INFRA-7142
>                 URL: https://issues.apache.org/jira/browse/INFRA-7142
>             Project: Infrastructure
>          Issue Type: Wish
>            Reporter: Philippe M.
>
> Hello,
> It seems there are github mirrors of Apache projects.
> https://github.com/apache/jmeter does not point to trunk version of project but to doc-v2_3_1.
> Also I am not sure it is the right place to ask for this, but how can we become administrator of mirror github project  as currently we have some PULL Request we cannot close, nor do we get notified.



--
This message was sent by Atlassian JIRA
(v6.1.5#6160)