Opened 5 weeks ago

Closed 5 weeks ago

#31678 closed enhancement (fixed)

Allow git-push-all.sh to be run from any directory

Reported by: teor Owned by: teor
Priority: Medium Milestone: Tor: 0.4.2.x-final
Component: Core Tor/Tor Version:
Severity: Normal Keywords: git-scripts, dev-tools
Cc: Actual Points: 0
Parent ID: #31677 Points: 0
Reviewer: Sponsor:

Description

Previously, the script could only be run from one of the worktree directories.

Child Tickets

Change History (1)

comment:1 Changed 5 weeks ago by teor

Resolution: fixed
Status: assignedclosed

Let's deal with the review in #31677, because there are conflicts.

Note: See TracTickets for help on using tickets.