On Fri, Jun 24, 2011 at 4:46 PM, Max Bolingbroke <[email protected]> wrote: > I got this error when I pushed to GHC just now: > > """ > Sorry, you can't push to the refs/pull/* hierarchy > To [email protected]:ghc/ghc.git > ! [remote rejected] master -> master (pre-receive hook declined) > ! [remote rejected] supercompiler -> supercompiler (pre-receive hook > declined) > ! [remote rejected] refs/pull/1/head (pre-receive hook declined) > ! [remote rejected] refs/pull/2/head (pre-receive hook declined) > ! [remote rejected] refs/pull/3/head (pre-receive hook declined) > error: failed to push some refs to '[email protected]:ghc/ghc.git' > """ > > It can be reproduced by running this command in > darcs.haskell.org:/srv/darcs/ghc.git: > > """ > GIT_SSH=/srv/github/bin/ssh git push --mirror [email protected]:ghc/ghc.git > """ > > This seems to be because there are three closed pull requests on > Github (https://github.com/ghc/ghc/pulls), and Github is preventing > our "push --mirror" from deleting the corresponding refs. > > I found that running this sequence works: > > """ > GIT_SSH=/srv/github/bin/ssh git push --all -f [email protected]:ghc/ghc.git > GIT_SSH=/srv/github/bin/ssh git push --tags -f [email protected]:ghc/ghc.git > """ > > This has almost the same effect as mirror (in fact, it only pushes > refs from /tags and /heads) but doesn't try to delete from the remote > any of those refs that don't exist locally, so it doesn't trigger the > error. > > Should I update the post-receive hook accordingly? > > Max >
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. _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
