Re: [tor-bugs] #30967 [Core Tor/Tor]: Explicitly select the top-level directories that we want to shellcheck

2019-08-26 Thread Tor Bug Tracker & Wiki
#30967: Explicitly select the top-level directories that we want to shellcheck -+- Reporter: teor | Owner: (none) Type: defect | Status:

[tor-bugs] #30967 [Core Tor/Tor]: Explicitly select the top-level directories that we want to shellcheck

2019-06-24 Thread Tor Bug Tracker & Wiki
#30967: Explicitly select the top-level directories that we want to shellcheck --+ Reporter: teor | Owner: teor Type: defect| Status: assigned Priority: Medium| Milestone: Tor: