Google Git
Sign in
gerrit/plugins/pull-replication/8c7dc4772e093978008eb536f5643de43244d4a9
commit
8c7dc4772e093978008eb536f5643de43244d4a9
[log]
author
Luca Milanesio <luca.milanesio@gmail.com>
Mon Mar 09 19:00:13 2020 +0000
committer
Luca Milanesio <luca.milanesio@gmail.com>
Mon Mar 09 19:00:13 2020 +0000
tree
17baa566c8d95599467e7597275775640269102e
parent
4ad983220b9cb830eb1f1d6150cbf8641652600d [diff]
parent
123b2806a84c13e56f6a0119fed0afd588919154 [diff]
Merge branch 'stable-3.1'

* stable-3.1:
  PullReplicationIT: simplify fetching HTTP URL

Change-Id: I473842a4fd684896bf2ac627472343b6270e8171
tree: 17baa566c8d95599467e7597275775640269102e
  1. src/
  2. BUILD
  3. LICENSE