Skip to content

Commit

Permalink
Update README
Browse files Browse the repository at this point in the history
  • Loading branch information
yongrenjie committed Apr 21, 2023
1 parent 4a1db39 commit 70d7dfc
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -123,8 +123,10 @@ For extensive usage options, do `dune exec -- whatwhat --help`, or `dune exec --

- `dune exec --whatwhat`: Report errors for projects on the four main columns of the issue tracker. Print output to terminal.
- `dune exec --whatwhat --notify github`: Same as above, but additionally post GitHub comments on all of those issues.
- `dune exec --whatwhat export-{project,team}`: Create Forecast project or team export CSV files. Useful for [other reporting purposes](https://github.com/alan-turing-institute/Hut23/issues/1354).
- `dune exec --whatwhat project [NUM|NAME]`: Print an overview of a project, as specified by its GitHub issue number, or a (sub)string of its title.
- `dune exec --whatwhat person [NAME]`: Print an overview of a person, as specified by their name or GitHub username (a substring is fine).
- `dune exec --whatwhat export-{project,team}`: Create Forecast project or team export CSV files. Useful for [other reporting purposes](https://github.com/alan-turing-institute/Hut23/issues/1354).
- `dune exec --whatwhat open [NUM]`: Open a GitHub issue in a browser (macOS only, as this uses `open(1)`.

## Documentation

Expand Down

0 comments on commit 70d7dfc

Please sign in to comment.