Is torproject-pusher deleting merge-request branches?

Hi! I've been pulling my hair trying to figure out what happened to the merge-request branches that gitlab is supposed to be adding to the tor repo whenever a merge-request is opened.

See https://docs.gitlab.com/ee/user/project/merge_requests/reviewing_and_managing_merge_requests.html#checkout-locally-by-modifying-gitconfig-for-a-given-repository for the information that made me expect these branches.

I had them working for a few minutes -- but then they seem to have disappeared.

My best guess of what happened is that torproject-pusher is deleting all branches that aren't present on our gitolite git instances ... and that's deleting our merge-request branches on gitlab.

@ahf, Is that possible?