www-infrastructure-issues mailing list archives

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

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

Geoffrey Corey commented on INFRA-9632:

As far I know, if you create a branch and then push the new branch with no changes to git-wip
(i.e. create new branch, then git push), the new branch will appear on git-wip, but it will
not propagate to GitHub until an actual change is made (i.e. you commit a changed file in
any branch) and then that change is pushed to git-wip. The same goes for deleting a branch.
However, I'm not 100% certain the same applies for tags.

It's just one of those weird quirks in the way git mirroring works.

> 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