diff --git a/docs/git.md b/docs/git.md index 4e2b4c7..809a969 100644 --- a/docs/git.md +++ b/docs/git.md @@ -8,13 +8,12 @@ git update-ref -d refs/remotes/origin/gh-pages ``` -## How to Delete a Remote Branch. +## How to Delete a Remote Branch ```sh git push origin --delete dev/semantic_diff ``` - ## Realign a Branch with `origin` When you want to make your branch `BRANCH` the same as `origin/BRANCH` no matter what. @@ -24,6 +23,13 @@ git swith BRANCH git reset --hard origin/BRANC ``` +## Temporarily Disabled `delta` to Get a Patch + +To get a patch out of `git diff`, by the command to `less` which changes the pager from `delta` to `less`. + +```sh +git diff main -- .pre-commit-config.yaml | less +``` # GitHub @@ -37,7 +43,6 @@ gh run list --status failure --user samuellarkin --json databaseId -q '.[].datab | parallel --jobs 1 "gh api repos/$(gh repo view --json nameWithOwner -q .nameWithOwner)/actions/runs/{} -X DELETE" ``` - ## Push an Approved PR's branch Once a PR is approved, you can use the following command to merge your `dev/work` branch to `main` given that your branch is at the tip of `main`.