Wireshark-dev: [Wireshark-dev] cherry-pick-xxxxxxxx branches in mirror repository

From: chuck c <bubbasnmp@xxxxxxxxx>
Date: Fri, 2 Oct 2020 11:51:19 -0500
Is this a timing issue with gitlab where automatic mirroring hits during a cherry pick on the main repository?

Can they be deleted from the mirror or nuke it and start over?