You are viewing a plain text version of this content. The canonical link for it is here.

Posted to infrastructure-issues@apache.org by "Daniel Gruno (JIRA)" <ji...@apache.org> on 2014/01/05 15:12: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=13862562#comment-13862562 ] 

Daniel Gruno commented on INFRA-7142:
-------------------------------------

You can close a github PR by adding the following to a commit message to your trunk/master branch: "Closes #1234" (for ticket/PR no. 1234)

> GITHUB mirror not pointing to trunk 
> ------------------------------------
>
>                 Key: INFRA-7142
>                 URL: https://issues.apache.org/jira/browse/INFRA-7142
>             Project: Infrastructure
>          Issue Type: Wish
>          Components: Git
>            Reporter: Philippe M.
>            Assignee: Daniel Gruno
>
> 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)