Can't push to haddock

[Simon Peyton Jones]

|  Yes, the mirroring has a little bit of latency (assuming the mirroring
|  trigger event notification from github to git.haskell.org didn't get
|  lost). How much time did you wait between pushing to github and
|  ghc.git?

I didn't allow any time -- I didn't know that time was needed. Perhaps we should add a note to 
https://ghc.haskell.org/trac/ghc/wiki/Repositories
to explain?  Under "Updating sub-repos" perhaps.

I wonder if it'd be worth us articulating the reason why some submodules live in github, but some live in git.haskell.org -- with only mirroring github.  I'm sure there's a rationale but I don't get it yet.

Simon


|  -----Original Message-----
|  From: Herbert Valerio Riedel [mailto:hvriedel at gmail.com]
|  Sent: 07 December 2017 17:57
|  To: Simon Peyton Jones <simonpj at microsoft.com>
|  Subject: Re: Can't push to haddock
|  
|  Hi Simon,
|  
|  Yes, the mirroring has a little bit of latency (assuming the mirroring
|  trigger event notification from github to git.haskell.org didn't get
|  lost). How much time did you wait between pushing to github and
|  ghc.git?
|  
|  On Thu, Dec 7, 2017 at 6:53 PM, Simon Peyton Jones via ghc-devs <ghc-
|  devs at haskell.org> wrote:
|  > But when I try to push the GHC patch, I get this message
|  >
|  > Ah… it worked after a while. Maybe a mirroring thing?
|  >
|  > But in pushing to GHC I saw:
|  >
|  > git push
|  >
|  > Counting objects: 45, done.
|  >
|  > Delta compression using up to 32 threads.
|  >
|  > Compressing objects: 100% (45/45), done.
|  >
|  > Writing objects: 100% (45/45), 27.56 KiB | 0 bytes/s, done.
|  >
|  > Total 45 (delta 43), reused 0 (delta 0)
|  >
|  > remote: performing commit message validations...
|  >
|  > remote: Commit message validation passed!
|  >
|  > remote: performing submodule-ref update validations...
|  >
|  > remote: Submodule update(s) detected in
|  > fa29df02a1b0b926afb2525a258172dcbf0ea460:
|  >
|  > remote:  utils/haddock => 24841386cff6fdccc11accf9daa815c2c7444d65
|  >
|  > remote:  utils/hsc2hs => 9483ad10064fbbb97ab525280623826b1ef63959
|  >
|  > remote:  OK
|  >
|  > remote: performing whitespace validations...
|  >
|  > remote: whitespace validation passed!
|  >
|  > remote: mirroring ssh://git@git.haskell.org/ghc to
|  > ssh://git@github.com/ghc/ghc ...
|  >
|  > remote: To ssh://git@github.com/ghc/ghc
|  >
|  > remote:    5f332e1..fa29df0  master -> master
|  >
|  > remote: running notifier
|  >
|  > To ssh://git@git.haskell.org/ghc.git
|  >
|  >    5f332e1..fa29df0  HEAD -> master
|  >
|  > simonpj at cam-05-unx:~/code/HEAD$
|  >
|  > I did not intend to monkey around with hsc2hs. I can’t think how
|  that
|  > happened, or whether it matter.
|  >
|  > With many apologies, would a wiser person that me like to see if
|  I’ve
|  > accidentally messed up hsc2hs.
|  >
|  > Thanks
|  >
|  > Simon
|  >
|  >
|  >
|  > From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of
|  > Simon Peyton Jones via ghc-devs
|  > Sent: 07 December 2017 17:32
|  > To: ghc-devs at haskell.org
|  > Subject: Can't push to haddock
|  >
|  >
|  >
|  > I’m trying to push a patch that needs a supporting change to
|  haddock.
|  >
|  > I’ve pushed the haddock change to the ghc-head branch of
|  > ssh://git@github.com/haskell/haddock.git, which is (according to
|  > ‘packages’) the relevant haddock upstream repo.
|  >
|  > But when I try to push the GHC patch, I get this message
|  >
|  > bash$ git push
|  >
|  > Counting objects: 45, done.
|  >
|  > Delta compression using up to 32 threads.
|  >
|  > Compressing objects: 100% (45/45), done.
|  >
|  > Writing objects: 100% (45/45), 27.56 KiB | 0 bytes/s, done.
|  >
|  > Total 45 (delta 43), reused 0 (delta 0)
|  >
|  > remote: performing commit message validations...
|  >
|  > remote: Commit message validation passed!
|  >
|  > remote: performing submodule-ref update validations...
|  >
|  > remote: Submodule update(s) detected in
|  > fa29df02a1b0b926afb2525a258172dcbf0ea460:
|  >
|  > remote:  utils/haddock => 24841386cff6fdccc11accf9daa815c2c7444d65
|  >
|  > remote: *FAIL* commit not found in submodule repo ('../haddock.git')
|  >
|  > remote:        or not reachable from persistent branches
|  >
|  > remote: hooklet hooks/update.secondary.d/check-submodule-refs failed
|  >
|  > remote: hooks/update.secondary died
|  >
|  > remote: error: hook declined to update refs/heads/master
|  >
|  > To ssh://git@git.haskell.org/ghc.git
|  >
|  > ! [remote rejected] HEAD -> master (hook declined)
|  >
|  > error: failed to push some refs to
|  'ssh://git@git.haskell.org/ghc.git'
|  >
|  > simonpj at cam-05-unx:~/code/HEAD$
|  >
|  >
|  >
|  > What’s up?  I  have pushed the haddock commit!
|  >
|  > THanks
|  >
|  > Simon
|  >
|  >
|  >
|  >
|  > _______________________________________________
|  > ghc-devs mailing list
|  > ghc-devs at haskell.org
|  >
|  https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h
|  > askell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-
|  devs&data=02%7C01%7Csimonpj%40microsoft.com%7C684b5c6cdac34213317708d5
|  3d9be387%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6364826622509770
|  90&sdata=kMhG2iTALLRxhwyDw%2BzTN8VvMMn%2FqfvnSn9cPm0AK4Q%3D&reserved=0
|  >