Sean Eagan f5f4f31063 Trigger Github mirroring on tag push
Currently tags aren't mirrored until the next patchset is merged,
which delays the Github release workflow.

Change-Id: Ib50b6369d4f8ddeaf832f1de2c8f6b133b9b40c5
Signed-off-by: Sean Eagan <seaneagan1@gmail.com>
2021-04-01 13:46:53 -05:00
..