update to nextra 4

This commit is contained in:
2025-09-06 19:19:45 +02:00
parent d17a565130
commit 7864c38371
48 changed files with 998 additions and 500 deletions

17
content/git/clean.md Normal file
View File

@@ -0,0 +1,17 @@
---
tags:
- git
- clean
- gitignore
- delete
---
# Delete all files mentioned by `.gitignore`
This command is useful if you want to reset a repository to it's checked out state.
```bash
git clean -Xdf
```
[Original SO Link](https://unix.stackexchange.com/a/542735)

View File

@@ -0,0 +1,28 @@
# Clear history
This removes all commits from the past.
```bash
# Checkout
git checkout --orphan latest_branch
# Add all the files
git add -A
# Commit the changes
git commit -am "commit message"
# Delete the branch
git branch -D main
# Rename the current branch to main
git branch -m main
# Finally, force update your repository
git push -f origin main
# Optionally clear local caches
git gc --aggressive --prune=all
```
https://stackoverflow.com/a/26000395

View File

@@ -0,0 +1,11 @@
# Remove files from repository
How to remove files from the repository, without deleting them locally. [Original SO](https://stackoverflow.com/a/1143800)
```bash
# File
git rm --cached file_to_remove.txt
# Dir
git rm --cached -r directory_to_remove
```

View File

@@ -0,0 +1,20 @@
---
tags:
- git
- branch
- clean
- delete
---
# Delete all local branches that are already merged.
This command is useful if you have a buch of local branches that you don't need anymore.
```bash
git branch --merged | grep -v \* | xargs git branch -D
```
[Original SO Link](https://stackoverflow.com/a/10610669)

View File

@@ -0,0 +1,9 @@
# Remove secrets after being pushed
If you accidentally pushed a secret or some file that should not be publicly available in your git repo, there are a few ways. My personal fav is [BFG](https://rtyley.github.io/bfg-repo-cleaner/).
> `--no-blob-protection` also modifies you latest commit, by default that is turned off.
```bash
bfg -D "*.txt" --no-blob-protection
```

View File

@@ -0,0 +1,11 @@
# Reset Files
How to reset files from another branch.
```sh
# New way
git restore my/file.md
# Old way
git checkout origin/HEAD -- my/file.md
```

View File

@@ -0,0 +1,16 @@
# Revert branch to commit
Revert a branch to a certain commit, discarding newer ones.
```bash
# Specific commit
git reset --hard a1d6424
# Commits back
git reset --hard HEAD@{3}
```
```bash
# Push
git push -f
```