You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Improve make script ergonomics & documentation (#1739)
* Allow make script to be run with ./make.py on *NIX systems
* Cover enabling ./make.py syntax in CONTRIBUTING.md
* Improve top-level docstring of make.py
* Add shell completion setup instructions
* Move optional Mac & Linux instructions to the end of CONTRIBUTING.md
* Make execution permission user-specific
* Improve whichshell subcommand
* Tweak phrasing at end of CONTRIBUTING.md
0 commit comments