www-infrastructure-issues mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Henry Saputra (JIRA)" <j...@apache.org>
Subject [jira] [Commented] (INFRA-9632) Removing deleted branch from Apache Flink Github mirror
Date Mon, 11 May 2015 17:48:00 GMT

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

Henry Saputra commented on INFRA-9632:

Thanks [~coreyg]!

As for "synched all the way through", what is the preferable mechanism to remove branches
and tags to reflect properly in the github mirror?
I used git push origin :asf_master before to remove the branch.

> 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

View raw message