Google Git
Sign in
gerrit/plugins/pull-replication/1caeea8f7d7504cc70ecd2a74311c9abf8d31ab0
commit
1caeea8f7d7504cc70ecd2a74311c9abf8d31ab0
[log]
author
Marcin Czech <maczech@gmail.com>
Wed Dec 15 09:58:56 2021 +0000
committer
Gerrit Code Review <noreply-gerritcodereview@google.com>
Wed Dec 15 09:58:56 2021 +0000
tree
8756abc3b13412656199c6aef2f6111518c92b03
parent
df12ca84d04ebd779c801b276820dfa928c7c38c [diff]
parent
77e2bb1b1744141dfa1bd69115ccb295169a7cdd [diff]
Merge "Add HEAD update REST API endpoint" into stable-3.3
tree: 8756abc3b13412656199c6aef2f6111518c92b03
  1. src/
  2. BUILD
  3. Jenkinsfile
  4. LICENSE