Skip to content

Commit

Permalink
Add: Add pontos-github-script to pontos CLI output
Browse files Browse the repository at this point in the history
  • Loading branch information
bjoernricks committed Dec 5, 2022
1 parent a28ae7d commit 2106532
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions pontos/pontos.py
Original file line number Diff line number Diff line change
Expand Up @@ -62,7 +62,15 @@ def main() -> None:
term.print("usage:")
with term.indent():
term.print("pontos-github {pr} -h")

term.bold_info(
"pontos-github-script - CLI for running scripts on the GitHub API"
)
term.print("usage:")
with term.indent():
term.print("pontos-github-script {script} -h")
term.print()

term.info(
"pontos also comes with a Terminal interface "
"printing prettier outputs"
Expand Down

0 comments on commit 2106532

Please sign in to comment.