diff options
Diffstat (limited to 'src/content/tils/2020/09/05')
| -rw-r--r-- | src/content/tils/2020/09/05/oldschool-pr.adoc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/content/tils/2020/09/05/oldschool-pr.adoc b/src/content/tils/2020/09/05/oldschool-pr.adoc index a2c758c..392ec67 100644 --- a/src/content/tils/2020/09/05/oldschool-pr.adoc +++ b/src/content/tils/2020/09/05/oldschool-pr.adoc @@ -26,7 +26,7 @@ to be locked in by any of them, putting the "D" back in "DVCS": it’s a Here’s the raw output of a `git request-pull`: -[source,shell] +[source,sh] ---- $ git request-pull HEAD public-origin The following changes since commit 302c9f2f035c0360acd4e13142428c100a10d43f: @@ -62,7 +62,7 @@ address ready for public consumption. A simple solution for that is for you to add the `public-origin` alias as the HTTPS alternative to the SSH version: -[source,shell] +[source,sh] ---- $ git remote add public-origin https://example.com/user/repo ---- @@ -78,7 +78,7 @@ Experiment it yourself, and get acquainted with the CLI. Now that you can create the content of a pull request, you can just {cli-email}[deliver it] to the interested parties email: -[source,shell] +[source,sh] ---- # send a PR with your last commit to the author's email git request-pull HEAD public-origin | mail author@example.com -s "PR: Add thing to repo" |