Follow-up to #16315: added missing mirror push parser (Thanks to Marcus Krause)