infra-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Daniel Gruno (JIRA)" <>
Subject [jira] [Commented] (INFRA-7142) GITHUB mirror not pointing to trunk
Date Sun, 05 Jan 2014 14:12:50 GMT


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:
>             Project: Infrastructure
>          Issue Type: Wish
>          Components: Git
>            Reporter: Philippe M.
>            Assignee: Daniel Gruno
> Hello,
> It seems there are github mirrors of Apache projects.
> 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

View raw message