#31519: git-push-all.sh: shellcheck warnings --------------------------+------------------------------------ Reporter: nickm | Owner: nickm Type: defect | Status: assigned Priority: Medium | Milestone: Tor: 0.4.2.x-final Component: Core Tor/Tor | Version: Severity: Normal | Resolution: Keywords: | Actual Points: 0 Parent ID: | Points: Reviewer: | Sponsor: --------------------------+------------------------------------ Changes (by nickm):
* actualpoints: => 0 Comment: See branch `bug31519` with PR at https://github.com/torproject/tor/pull/1263 I chose to disable some of the warnings rather than "fix" them, since the correct "fix" would require significant refactoring in the script. (It's safe to disable the warnings, since we know that our branch names do not have spaces in them.) -- Ticket URL: <https://trac.torproject.org/projects/tor/ticket/31519#comment:1> 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