Patch Set 1: > I think the --tags can be merged into one line.
`git fetch --tags` is already fetching the same as `git fetch` according to the man pages. -- To view, visit https://gerrit.osmocom.org/4718 To unsubscribe, visit https://gerrit.osmocom.org/settings Gerrit-MessageType: comment Gerrit-Change-Id: I4bfe4846959c70e435d6792a755a6f2a6f0a932c Gerrit-PatchSet: 1 Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Owner: Pau Espin Pedrol <pes...@sysmocom.de> Gerrit-Reviewer: Harald Welte <lafo...@gnumonks.org> Gerrit-Reviewer: lynxis lazus <lyn...@fe80.eu> Gerrit-HasComments: No
