On Fri, Dec 8, 2017, 10:13 Simon Peyton Jones via ghc-devs < [email protected]> 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:[email protected]] > | Sent: 07 December 2017 17:57 > | To: Simon Peyton Jones <[email protected]> > | 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- > | [email protected]> 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://[email protected]/ghc to > | > ssh://[email protected]/ghc/ghc ... > | > > | > remote: To ssh://[email protected]/ghc/ghc > | > > | > remote: 5f332e1..fa29df0 master -> master > | > > | > remote: running notifier > | > > | > To ssh://[email protected]/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:[email protected]] On Behalf Of > | > Simon Peyton Jones via ghc-devs > | > Sent: 07 December 2017 17:32 > | > To: [email protected] > | > 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://[email protected]/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://[email protected]/ghc.git > | > > | > ! [remote rejected] HEAD -> master (hook declined) > | > > | > error: failed to push some refs to > | 'ssh://[email protected]/ghc.git' > | > > | > simonpj@cam-05-unx:~/code/HEAD$ > | > > | > > | > > | > What’s up? I have pushed the haddock commit! > | > > | > THanks > | > > | > Simon > | > > | > > | > > | > > | > _______________________________________________ > | > ghc-devs mailing list > | > [email protected] > | > > | 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 > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
