#30114 closed enhancement (fixed)

Also fetch tor-github when we git-pull-all.sh

Reported by: teor Owned by: teor
Priority: Medium Milestone: Tor: 0.4.1.x-final
Component: Core Tor/Tor Version:
Severity: Normal Keywords: git-scripts, fast-fix, asn-merge
Cc: Actual Points: 0.1
Parent ID: Points: 0.1
Reviewer: nickm Sponsor:


If we don't automatically fetch tor-github, then someone will eventually merge an old version of a pull request.

Child Tickets

Change History (5)

comment:1 Changed 18 months ago by teor

Keywords: fast-fix added
Status: assignedneeds_review

comment:2 Changed 18 months ago by asn

Reviewer: nickm

comment:3 Changed 18 months ago by nickm

Status: needs_reviewmerge_ready


comment:4 Changed 18 months ago by nickm

Keywords: asn-merge added

comment:5 Changed 18 months ago by asn

Resolution: fixed
Status: merge_readyclosed

Merged to master.

Note: See TracTickets for help on using tickets.