On Fri, Jun 24, 2011 at 5:42 PM, Max Bolingbroke <[email protected]> wrote: > On 24 June 2011 16:09, Johan Tibell <[email protected]> wrote: >> Are you sure this is the case? If so we should perhaps file a bug on >> GitHub to get that working. >> >> I thought --mirror essentially did a -f. > > Yes it does, but that's not the problem. The problem is that --mirror > deletes refs from the remote (i.e. GitHub) that are not present > locally. And GitHub creates some special remotes to track pull > requests, and does not want them to be deleted! > > I'm not sure if that can really be counted as a GitHub bug. Do you > think it's worth asking?
Perhaps not. Just asking if they intend to support --mirror would be useful. > > Max > _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
