Harshit Bansal 63bd1b9203 mirror: Delete tags in mirror which are removed for original repo. (#5609) ...

This bug was being caused by an error in the logic in `release.go`.
Credit to @yasuokav for tracing the root of the issue.

Fixes: #5192.

2018-12-31 18:00:54 -05:00

13 KiB

Raw Blame History

View Raw