I am wondering if a pull mirror will do overwrite local commits if upstream did a force push and remove branches etc. I can’t find related document for the behaviour of a pull mirror. The official document only mentioned push mirror will do force push.