remove obsolete mirroring job from .gitlab-ci.yml

This is just to incorporate the deletion of the mirroring job suggested in #32193 (moved).

changed milestone to %Tor: 0.4.3.x-final

Trac:
Parent Ticket: #32193 (moved)

added 043-can component::core tor/tor gitlab-ci milestone::Tor: 0.4.3.x-final parent::32193 priority::medium resolution::fixed reviewer::catalyst severity::normal status::closed tor-ci type::defect version::tor 0.3.2.2-alpha labels

Pull request in https://github.com/torproject/tor/pull/1714

Please merge once it has passed CI.

Trac:
Status: new to merge_ready

Remove the tlyu username that I don't use on this site

Trac:
Cc: tlyu, hiro, catalyst, eighthave to hiro, catalyst, eighthave

Oops, probably needs a changes file.

Trac:
Status: merge_ready to needs_revision

Trac:
Version: N/A to Tor: 0.3.2.2-alpha

New pull request, with changes file, in https://github.com/torproject/tor/pull/1716 (I changed the branch name to something less confusing.)

Trac:
Keywords: Android deleted, N/A added
Status: needs_revision to merge_ready

Merged to 0.4.3 and forward; thank you!

Trac:
Resolution: N/A to fixed
Status: merge_ready to closed

closed

mentioned in issue #32193 (moved)

moved to tpo/core/tor#33213 (closed)