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
..
2018-03-06 09:22:16 +08:00
2018-12-11 18:49:33 -05:00
2018-10-27 22:45:24 +08:00
2018-05-09 19:29:04 +03:00
2018-05-21 10:28:29 +08:00
2018-10-25 18:55:16 +08:00
2018-10-29 09:48:37 -04:00
2018-10-26 12:37:57 +03:00
2018-05-19 17:12:37 +03:00
2018-05-19 17:12:37 +03:00
2018-10-23 10:57:42 +08:00
2018-10-20 18:19:21 -04:00
2018-10-19 12:36:42 -04:00