Re: [PUSHED] Decrease header files dependencies

Hi,

On Wed, Jul 11, 2012 at 10:38:42AM +0100, Michael Meeks wrote:
>       Found pushed; did I miss a gerrit mail mentioning that ?

Thats http://code.google.com/p/gerrit/issues/detail?id=1465 if one pushed
directly to master, gerrit sends the merged notification to the owner and
reviewers only, but not to the watchers. I might have an idea to work around
that for now and will tweak the scripting for that.

>       Also - I love the new:
>
> git pull ssh://gerrit.libreoffice.org:29418/core refs/changes/88/288/1

Huh? How is this new?

>       Very helpful in concept ! unfortunately for me it didn't work:
>
> $ git pull ssh://gerrit.libreoffice.org:29418/core refs/changes/88/288/1
> Permission denied (publickey).
> fatal: The remote end hung up unexpectedly
>       Quite possibly that's just me of course ? :-)

Yes, works here (with the full setup in .ssh/config for both Host logerrit and
gerrit.libreoffice.org:
https://wiki.documentfoundation.org/Development/gerrit/setup).

Note however, that we rather want the people to cherry-pick than pull, I guess.

Best,

Bjoern