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

Posted to issues@infra.apache.org by "Geoffrey Corey (JIRA)" <ji...@apache.org> on 2015/05/11 17:27:59 UTC

[jira] [Resolved] (INFRA-9632) Removing deleted branch from Apache Flink Github mirror

     [ https://issues.apache.org/jira/browse/INFRA-9632?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Geoffrey Corey resolved INFRA-9632.
-----------------------------------
    Resolution: Done

[~hsaputra] with the way the mirroring works, you sometimes need to push actual changes for things like tags and branch deletions/creations (that do not have commits in the branch) to be synced all the way through.

As of now, the branch on GtiHub has been deleted. Resolving ticket.

> Removing deleted branch from Apache Flink Github mirror
> -------------------------------------------------------
>
>                 Key: INFRA-9632
>                 URL: https://issues.apache.org/jira/browse/INFRA-9632
>             Project: Infrastructure
>          Issue Type: Bug
>          Components: Git
>            Reporter: Henry Saputra
>            Assignee: Geoffrey Corey
>            Priority: Minor
>
> I pushed a remote branch called asf_master to Apache Flink Git repo by accident but already deleted it.
> However, the Github mirror still list that branch:
> https://github.com/apache/flink/tree/asf_master
> Is there a way to remove it from the mirror Github repo?



--
This message was sent by Atlassian JIRA
(v6.3.4#6332)