e9748415d2c674d341345d5a38e5f1f375c1ba4c - plugins/pull-replication - Git at Google

commit: e9748415d2c674d341345d5a38e5f1f375c1ba4c
[log] [tgz]
author: Dariusz Luksza <dariusz.luksza@gmail.com>
Fri Dec 01 16:35:11 2023 +0000
committer: Dariusz Luksza <dariusz.luksza@gmail.com>
Sun Dec 31 10:51:16 2023 +0000
tree: 2f3efedb64be8475fe3e3378ac8c078a6efda1d0
parent: 25ea413af6f81f05e9ce4f31172e0f06092fe0be [diff]

Update project HEAD from stream event

Handle `ProjectHeadUpdatedEvent` and update project's `HEAD` reference
on the replica.

Bug: Issue 40014694
Change-Id: Ib9a83442c390a493eb839d9edb115148d6f07438

3 files changed

tree: 2f3efedb64be8475fe3e3378ac8c078a6efda1d0