On Fri, Dec 8, 2017, 10:13 Simon Peyton Jones via ghc-devs < ghc-devs@haskell.org> wrote:
> | 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 > The general scheme seems to be anything under the haskell organization is primarily on github and mirrored to haskell.org. (this of course includes Hadrian which is in another org). The things under the ghc org are haskell.org focused and mirrored to github. > > | -----Original Message----- > | From: Herbert Valerio Riedel [mailto:hvrie...@gmail.com] > | Sent: 07 December 2017 17:57 > | To: Simon Peyton Jones <simo...@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- > | d...@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://g...@git.haskell.org/ghc to > | > ssh://g...@github.com/ghc/ghc ... > | > > | > remote: To ssh://g...@github.com/ghc/ghc > | > > | > remote: 5f332e1..fa29df0 master -> master > | > > | > remote: running notifier > | > > | > To ssh://g...@git.haskell.org/ghc.git > | > > | > 5f332e1..fa29df0 HEAD -> master > | > > | > simonpj@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-boun...@haskell.org] On Behalf Of > | > Simon Peyton Jones via ghc-devs > | > Sent: 07 December 2017 17:32 > | > To: ghc-devs@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://g...@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://g...@git.haskell.org/ghc.git > | > > | > ! [remote rejected] HEAD -> master (hook declined) > | > > | > error: failed to push some refs to > | 'ssh://g...@git.haskell.org/ghc.git' > | > > | > simonpj@cam-05-unx:~/code/HEAD$ > | > > | > > | > > | > What’s up? I have pushed the haddock commit! > | > > | > THanks > | > > | > Simon > | > > | > > | > > | > > | > _______________________________________________ > | > ghc-devs mailing list > | > ghc-devs@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 > | > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
