| Short story: you have to use ssh://git@github.com/haskell/haddock.git as | push-url | | git push ssh://git@github.com/haskell/haddock.git <refspec> | | where <refspec> refers to the kind of branch-update operation you want | to push, like e.g. 'HEAD:master' to update the remote master branch to | what your current local HEAD points to. Can't I just set the push-url and then say git push I just did that and it appeared to work. | Once you were able to push the commits to GitHub's haddock.git repo, | they'll be mirrored to git.haskell.org within one minute. At which point | you'll be able to push the Git submodule/gitlink update to ghc.git | pointing to the new 'master'-tip of haddock.git (if that was your | question) How exactly do I do that? That is, when I'm back in the ghc repo, I just stage utils/haddock along with the rest of my changes, and push? What if I did so "too early" before the mirroring happened? Anyway, I did as above and pushed to GHC. Would you like to just check that I did it right. It would be ABSOLUTELY FANTASTIC to have these new workflows documented. Please! Thanks for a very prompt reply Simon | -----Original Message----- | From: Herbert Valerio Riedel [mailto:hvriedel@gmail.com] | Sent: 06 June 2014 12:56 | To: Simon Peyton Jones | Cc: ghc-devs@haskell.org | Subject: Re: pushing to haddock | | On 2014-06-06 at 13:47:03 +0200, Simon Peyton Jones wrote: | > I'm trying desperately to follow the instructions on | > https://ghc.haskell.org/trac/ghc/wiki/WorkingConventions/Git/Submodule | > s for how to update haddock to follow a small change to GHC. | > I've checked out the haddock master, made my patch, and want to push | > to haddock. But my push is rejected for an inscrutable reason: | | Sorry, I haven't gotten to provide more guidance for haddock.git, which | is the first repo whose primary repo has been relocated to GitHub. So | you have to push via GitHub now. | | Short story: you have to use ssh://git@github.com/haskell/haddock.git as | push-url | | git push ssh://git@github.com/haskell/haddock.git <refspec> | | where <refspec> refers to the kind of branch-update operation you want | to push, like e.g. 'HEAD:master' to update the remote master branch to | what your current local HEAD points to. | | There will be a more "guided" process as soon as I get to provide some | tooling + additional docs for that. | | [...] | | > What do I do now? | > Presumably once that's done I include the change to utils/haddock in | my patch to HEAD, correct? | > Getting to Haddock HEAD added 12 new patches on the haddock branch so | > I suppose they'll be included too. I don't know whether that is good | > or bad. | > help! | | Once you were able to push the commits to GitHub's haddock.git repo, | they'll be mirrored to git.haskell.org within one minute. At which point | you'll be able to push the Git submodule/gitlink update to ghc.git | pointing to the new 'master'-tip of haddock.git (if that was your | question)