| commit | 6c54b531a36644d53ae054d3fdf846fb2e538677 | [log] [tgz] |
|---|---|---|
| author | James E. Blair <jeblair@redhat.com> | Thu Jul 14 14:17:25 2016 -0700 |
| committer | James E. Blair <jeblair@redhat.com> | Thu Jul 14 14:17:25 2016 -0700 |
| tree | aa1d4d66baf1fab86ec04b4c064964181bf486da | |
| parent | 79b8bad9bfa1d5ae022a7b89f75982d2e388c9d2 [diff] |
Use fetch instead of update in merger According to a well written and therefore almost certainly correct answer on SO[1], fetch and update are nearly the same, especially when used in the context of a single remote (as we are here). Since we sometimes want correct tag information as well as correct branch information for our repos, switch from update to fetch, with the '--tags' argument. [1] http://stackoverflow.com/questions/2688251/what-is-the-difference-between-git-fetch-origin-and-git-remote-update-origin Change-Id: I3a31b84e7d65efa5430fb29a77047ae4b16ad18c