internal Google tools. git5 is a git insulation layer on top of perforce.
piper I won't tell, because until I was at Google I couldn't and I
don't know what the status is now. Maybe some current Googler can do
that.

the peer bonus is also only internal to Google, so in short nothing to see here

On Sat, May 9, 2015 at 2:00 PM, Magnus Therning <mag...@therning.org> wrote:
> On Fri, May 08, 2015 at 06:26:14PM -0700, John Mulhausen wrote:
>> Hi git folk,
>>
>> I will award a peer bonus to anyone who shows me how to solve this
>> scenario with specific commands.
>>
>> I'd like to open source a site that has a piper-dependency for it's
>> publishing. There are two nodes in the system:
>>
>> 1. GitHub.com -- where users can submit changes to us
>> 2. Piper -- the source of truth. Changes come from GitHub "dirty"
>>    (not Googler-reviewed) and are merged into Piper (presumably via
>>    git5) on a per-change basis, giving us a chance to review what's
>>    coming in on either Gerrit or Critique.
>
> What's "piper"?
> What's "git5"?
>
> /M
>
> --
> Magnus Therning                      OpenPGP: 0xAB4DFBA4
> email: mag...@therning.org   jabber: mag...@therning.org
> twitter: magthe               http://therning.org/magnus
>
> I have steadily endeavored to keep my mind free, so as to give up any
> hypothesis, however much beloved -- and I cannot resist forming one
> on every subject -- as soon as facts are shown to be opposed to it.
>      -- Charles Darwin (1809-1882)
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Git for human beings" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to git-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to