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:00 UTC
[jira] [Assigned] (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 reassigned INFRA-9632:
-------------------------------------
Assignee: Geoffrey Corey
> 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)