Thread Previous • Date Previous • Date Next • Thread Next |
Mark Gius <mark@xxxxxxxxxxxx> writes: > When you say "combined into one update," do you mean that changes are pushed > every 15 seconds, or that multiple commits in Gerrit get combined before > pushing to github? Changes are pushed as-is within 15 seconds. The repo is an exact mirror, no commit rewriting or any other madness happens. They're just batched for efficiency. -Jim
Thread Previous • Date Previous • Date Next • Thread Next |