<br><br><div class="gmail_quote"><div dir="ltr">On Fri, Dec 8, 2017, 10:13 Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">|  Yes, the mirroring has a little bit of latency (assuming the mirroring<br>
|  trigger event notification from github to <a href="http://git.haskell.org" rel="noreferrer" target="_blank">git.haskell.org</a> didn't get<br>
|  lost). How much time did you wait between pushing to github and<br>
|  ghc.git?<br>
<br>
I didn't allow any time -- I didn't know that time was needed. Perhaps we should add a note to<br>
<a href="https://ghc.haskell.org/trac/ghc/wiki/Repositories" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Repositories</a><br>
to explain?  Under "Updating sub-repos" perhaps.<br>
<br>
I wonder if it'd be worth us articulating the reason why some submodules live in github, but some live in <a href="http://git.haskell.org" rel="noreferrer" target="_blank">git.haskell.org</a> -- with only mirroring github.  I'm sure there's a rationale but I don't get it yet.<br>
<br>
Simon<br></blockquote></div><div><br></div><div><br></div><div>The general scheme seems to be anything under the haskell organization is primarily on github and mirrored to <a href="http://haskell.org">haskell.org</a>. (this of course includes Hadrian which is in another org). The things under the ghc org are <a href="http://haskell.org">haskell.org</a> focused and mirrored to github. </div><div><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
<br>
|  -----Original Message-----<br>
|  From: Herbert Valerio Riedel [mailto:<a href="mailto:hvriedel@gmail.com" target="_blank">hvriedel@gmail.com</a>]<br>
|  Sent: 07 December 2017 17:57<br>
|  To: Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>><br>
|  Subject: Re: Can't push to haddock<br>
|<br>
|  Hi Simon,<br>
|<br>
|  Yes, the mirroring has a little bit of latency (assuming the mirroring<br>
|  trigger event notification from github to <a href="http://git.haskell.org" rel="noreferrer" target="_blank">git.haskell.org</a> didn't get<br>
|  lost). How much time did you wait between pushing to github and<br>
|  ghc.git?<br>
|<br>
|  On Thu, Dec 7, 2017 at 6:53 PM, Simon Peyton Jones via ghc-devs <ghc-<br>
|  <a href="mailto:devs@haskell.org" target="_blank">devs@haskell.org</a>> wrote:<br>
|  > But when I try to push the GHC patch, I get this message<br>
|  ><br>
|  > Ah… it worked after a while. Maybe a mirroring thing?<br>
|  ><br>
|  > But in pushing to GHC I saw:<br>
|  ><br>
|  > git push<br>
|  ><br>
|  > Counting objects: 45, done.<br>
|  ><br>
|  > Delta compression using up to 32 threads.<br>
|  ><br>
|  > Compressing objects: 100% (45/45), done.<br>
|  ><br>
|  > Writing objects: 100% (45/45), 27.56 KiB | 0 bytes/s, done.<br>
|  ><br>
|  > Total 45 (delta 43), reused 0 (delta 0)<br>
|  ><br>
|  > remote: performing commit message validations...<br>
|  ><br>
|  > remote: Commit message validation passed!<br>
|  ><br>
|  > remote: performing submodule-ref update validations...<br>
|  ><br>
|  > remote: Submodule update(s) detected in<br>
|  > fa29df02a1b0b926afb2525a258172dcbf0ea460:<br>
|  ><br>
|  > remote:  utils/haddock => 24841386cff6fdccc11accf9daa815c2c7444d65<br>
|  ><br>
|  > remote:  utils/hsc2hs => 9483ad10064fbbb97ab525280623826b1ef63959<br>
|  ><br>
|  > remote:  OK<br>
|  ><br>
|  > remote: performing whitespace validations...<br>
|  ><br>
|  > remote: whitespace validation passed!<br>
|  ><br>
|  > remote: mirroring ssh://<a href="http://git@git.haskell.org/ghc" rel="noreferrer" target="_blank">git@git.haskell.org/ghc</a> to<br>
|  > ssh://<a href="http://git@github.com/ghc/ghc" rel="noreferrer" target="_blank">git@github.com/ghc/ghc</a> ...<br>
|  ><br>
|  > remote: To ssh://<a href="http://git@github.com/ghc/ghc" rel="noreferrer" target="_blank">git@github.com/ghc/ghc</a><br>
|  ><br>
|  > remote:    5f332e1..fa29df0  master -> master<br>
|  ><br>
|  > remote: running notifier<br>
|  ><br>
|  > To ssh://<a href="http://git@git.haskell.org/ghc.git" rel="noreferrer" target="_blank">git@git.haskell.org/ghc.git</a><br>
|  ><br>
|  >    5f332e1..fa29df0  HEAD -> master<br>
|  ><br>
|  > simonpj@cam-05-unx:~/code/HEAD$<br>
|  ><br>
|  > I did not intend to monkey around with hsc2hs. I can’t think how<br>
|  that<br>
|  > happened, or whether it matter.<br>
|  ><br>
|  > With many apologies, would a wiser person that me like to see if<br>
|  I’ve<br>
|  > accidentally messed up hsc2hs.<br>
|  ><br>
|  > Thanks<br>
|  ><br>
|  > Simon<br>
|  ><br>
|  ><br>
|  ><br>
|  > From: ghc-devs [mailto:<a href="mailto:ghc-devs-bounces@haskell.org" target="_blank">ghc-devs-bounces@haskell.org</a>] On Behalf Of<br>
|  > Simon Peyton Jones via ghc-devs<br>
|  > Sent: 07 December 2017 17:32<br>
|  > To: <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
|  > Subject: Can't push to haddock<br>
|  ><br>
|  ><br>
|  ><br>
|  > I’m trying to push a patch that needs a supporting change to<br>
|  haddock.<br>
|  ><br>
|  > I’ve pushed the haddock change to the ghc-head branch of<br>
|  > ssh://<a href="http://git@github.com/haskell/haddock.git" rel="noreferrer" target="_blank">git@github.com/haskell/haddock.git</a>, which is (according to<br>
|  > ‘packages’) the relevant haddock upstream repo.<br>
|  ><br>
|  > But when I try to push the GHC patch, I get this message<br>
|  ><br>
|  > bash$ git push<br>
|  ><br>
|  > Counting objects: 45, done.<br>
|  ><br>
|  > Delta compression using up to 32 threads.<br>
|  ><br>
|  > Compressing objects: 100% (45/45), done.<br>
|  ><br>
|  > Writing objects: 100% (45/45), 27.56 KiB | 0 bytes/s, done.<br>
|  ><br>
|  > Total 45 (delta 43), reused 0 (delta 0)<br>
|  ><br>
|  > remote: performing commit message validations...<br>
|  ><br>
|  > remote: Commit message validation passed!<br>
|  ><br>
|  > remote: performing submodule-ref update validations...<br>
|  ><br>
|  > remote: Submodule update(s) detected in<br>
|  > fa29df02a1b0b926afb2525a258172dcbf0ea460:<br>
|  ><br>
|  > remote:  utils/haddock => 24841386cff6fdccc11accf9daa815c2c7444d65<br>
|  ><br>
|  > remote: *FAIL* commit not found in submodule repo ('../haddock.git')<br>
|  ><br>
|  > remote:        or not reachable from persistent branches<br>
|  ><br>
|  > remote: hooklet hooks/update.secondary.d/check-submodule-refs failed<br>
|  ><br>
|  > remote: hooks/update.secondary died<br>
|  ><br>
|  > remote: error: hook declined to update refs/heads/master<br>
|  ><br>
|  > To ssh://<a href="http://git@git.haskell.org/ghc.git" rel="noreferrer" target="_blank">git@git.haskell.org/ghc.git</a><br>
|  ><br>
|  > ! [remote rejected] HEAD -> master (hook declined)<br>
|  ><br>
|  > error: failed to push some refs to<br>
|  'ssh://<a href="http://git@git.haskell.org/ghc.git" rel="noreferrer" target="_blank">git@git.haskell.org/ghc.git</a>'<br>
|  ><br>
|  > simonpj@cam-05-unx:~/code/HEAD$<br>
|  ><br>
|  ><br>
|  ><br>
|  > What’s up?  I  have pushed the haddock commit!<br>
|  ><br>
|  > THanks<br>
|  ><br>
|  > Simon<br>
|  ><br>
|  ><br>
|  ><br>
|  ><br>
|  > _______________________________________________<br>
|  > ghc-devs mailing list<br>
|  > <a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
|  ><br>
|  <a href="https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h" rel="noreferrer" target="_blank">https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.h</a><br>
|  > <a href="http://askell.org" rel="noreferrer" target="_blank">askell.org</a>%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-<br>
|  devs&data=02%7C01%7Csimonpj%<a href="http://40microsoft.com" rel="noreferrer" target="_blank">40microsoft.com</a>%7C684b5c6cdac34213317708d5<br>
|  3d9be387%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6364826622509770<br>
|  90&sdata=kMhG2iTALLRxhwyDw%2BzTN8VvMMn%2FqfvnSn9cPm0AK4Q%3D&reserved=0<br>
|  ><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>