Files
releases/tools
Doug Hellmann b57a8522ae remove redundant git operation
git fetch and git remote update do the same work, and there is no need
to do it twice. Keep the fetch command since we can explicitly tell it
to pull down tags.

Change-Id: Iac1602ebe7a1a67ad5fecb599cde21f2a312fff4
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
2017-10-17 17:53:06 -04:00
..
2017-10-17 17:53:06 -04:00
2016-06-16 16:12:18 +10:00
2017-07-31 17:11:02 -04:00