tree 3ab31997f7913d840fb878880e86d8d083eb3074
parent 19f2f1a5bd82580bc659798ea9ec5c6a72f9876f
author YoungSeok Yoon <youngseokyoon@google.com> 1460684070 -0700
committer YoungSeok Yoon <youngseokyoon@google.com> 1460752060 +0000

github mirroring: use --follow-tags option when necessary.

Use --follow-tags option when mirroring to GitHub. This option is
turned off by default.

Needed for pushing version tags to madb GitHub repo.

Change-Id: I19629d7087587031698fb849a953d0acec0a45bf
MultiPart: 2/2