Opened 6 months ago

Closed 6 months ago

#33213 closed defect (fixed)

remove obsolete mirroring job from .gitlab-ci.yml

Reported by: catalyst Owned by:
Priority: Medium Milestone: Tor: 0.4.3.x-final
Component: Core Tor/Tor Version: Tor: 0.3.2.2-alpha
Severity: Normal Keywords: gitlab-ci, tor-ci, 043-can
Cc: hiro, catalyst, eighthave Actual Points:
Parent ID: #32193 Points:
Reviewer: catalyst Sponsor:

Description

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

Child Tickets

Change History (6)

comment:1 Changed 6 months ago by catalyst

Status: newmerge_ready

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

Please merge once it has passed CI.

comment:2 Changed 6 months ago by catalyst

Cc: tlyu removed

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

comment:3 Changed 6 months ago by catalyst

Status: merge_readyneeds_revision

Oops, probably needs a changes file.

comment:4 Changed 6 months ago by catalyst

Version: Tor: 0.3.2.2-alpha

comment:5 Changed 6 months ago by catalyst

Keywords: Android removed
Status: needs_revisionmerge_ready

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

comment:6 Changed 6 months ago by nickm

Resolution: fixed
Status: merge_readyclosed

Merged to 0.4.3 and forward; thank you!

Note: See TracTickets for help on using tickets.