git-mr-remove: remove mr ref along with tags
authorFrantisek Hrbata <frantisek@hrbata.com>
Tue, 8 Dec 2020 13:17:20 +0000 (14:17 +0100)
committerFrantisek Hrbata <frantisek@hrbata.com>
Tue, 8 Dec 2020 13:17:20 +0000 (14:17 +0100)
commit99091f6f8f4696c0210b71c9201ad8b859d745be
tree3c2bebe0e1164ed052f43a9e84c879a61bdd1d69
parente5afd1fb2b5060ba5d9e170aba8fc7809df5110b
git-mr-remove: remove mr ref along with tags

mr ref contains tags which cannot be modified, so remove it aloing
with tags.

Signed-off-by: Frantisek Hrbata <frantisek@hrbata.com>
git-mr-remove