this post was submitted on 12 Apr 2026
369 points (99.5% liked)

Programmer Humor

30917 readers
868 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
369
I'd watch a movie about that (media.piefed.zip)
submitted 21 hours ago by RmDebArc_5@piefed.zip to c/programmer_humor@programming.dev
44 comments fedilink hide all child comments
 
you are viewing a single comment's thread
view the rest of the comments
[–] otter@lemmy.ca 11 points 20 hours ago (2 children) 
rm -rf *

git add -A
git commit -m "oops."

rm -rf .git
git init
git add .
git commit -m "bye."

git push origin main --force
[–] black_flag@lemmy.dbzer0.com 14 points 20 hours ago (1 children)

rm-ing .git isn't gonna work cuz you'll have to re-add the remotes.

[–] otter@lemmy.ca 4 points 19 hours ago (1 children)

Oh good point 🤦

So maybe instead, we can clear all local + remote branches and tags, create a blank branch, delete main, rename the blank branch to main, then delete .git

Although the OP says that we can merge anything, and we might not have access to mess with branches

[–] ozymandias117@lemmy.world 2 points 18 hours ago (1 children)

Or just git push origin --force blank:main

[–] fartographer@lemmy.world 1 points 1 hour ago

Live your best life. git pull blindly.

[–] otter@lemmy.ca 3 points 20 hours ago (1 children)

I'm not sure about the git history wipe, I can't test it myself right now

[–] Midnitte@beehaw.org 6 points 20 hours ago (1 children)

Just test it on production, you could do it right now

[–] otter@lemmy.ca 3 points 20 hours ago

Goodbye fedecan.ca