Skip to content

Commit 1dd9de7

Browse files
committed
Add tip to point to the official GitHub CLI tool
The GitHub CLI lets you do your GitHub work from within the command line. GitHub has just released version 1.0, and so we can "recommend" it to our readers.
1 parent 23da0ac commit 1dd9de7

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

book/06-github/sections/2-contributing.asc

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -49,6 +49,13 @@ This is basically the Integration Manager workflow covered in <<ch05-distributed
4949

5050
Let's walk through an example of proposing a change to an open source project hosted on GitHub using this flow.
5151

52+
[TIP]
53+
====
54+
You can use the official *GitHub CLI* tool instead of the GitHub web interface for most things.
55+
The tool can be used on Windows, MacOS, and Linux systems.
56+
Go to the https://cli.github.com/[GitHub CLI homepage] for installation instructions and the manual.
57+
====
58+
5259
===== Creating a Pull Request
5360

5461
Tony is looking for code to run on his Arduino programmable microcontroller and has found a great program file on GitHub at https://github.com/schacon/blink[].

0 commit comments

Comments
 (0)