#30033: The pre-push hook should call the pre-commit hook on the final pushed commit --------------------------+------------------------------------ Reporter: teor | Owner: (none) Type: defect | Status: closed Priority: Medium | Milestone: Tor: 0.4.1.x-final Component: Core Tor/Tor | Version: Severity: Normal | Resolution: implemented Keywords: git-scripts | Actual Points: Parent ID: #29792 | Points: Reviewer: ahf | Sponsor: --------------------------+------------------------------------ Changes (by nickm):
* status: merge_ready => closed * resolution: => implemented Comment: merged to master! -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/30033#comment:9> Tor Bug Tracker & Wiki <https://trac.torproject.org/> The Tor Project: anonymity online
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs