| commit | ecf8b457dbdf6f2251fd7f0dd8dc4320882beca7 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Thu Apr 20 13:34:29 2017 +0200 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Thu Apr 20 13:34:29 2017 +0200 |
| tree | a4a85dd4544d4baf0779e0f11919613b634c6e59 | |
| parent | cde3c23872684d189fa08b7bbe28117451d29352 [diff] |
Try to delete target remote in git mirroring Change-Id: I4d04c1a958da7cbad50d3eba2470cf49b24022f0