diff options
author | EuAndreh <eu@euandre.org> | 2025-04-16 11:20:43 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2025-04-16 11:20:43 -0300 |
commit | d36c2e459a74ec67e523539eb98b78b95b01432a (patch) | |
tree | a7099fbfbdab6a21f59b6efe095bffb40ceae646 /src/content/tils/2020/09/05 | |
parent | src/content/style.css: Show header on hover only (diff) | |
download | euandre.org-d36c2e459a74ec67e523539eb98b78b95b01432a.tar.gz euandre.org-d36c2e459a74ec67e523539eb98b78b95b01432a.tar.xz |
src/content/: Normalize [source,$lang] code blocks
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" |