this post was submitted on 12 Apr 2026
261 points (100.0% liked)

Programmer Humor

30895 readers
818 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
 
you are viewing a single comment's thread
view the rest of the comments
[–] otter@lemmy.ca 3 points 10 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 1 points 8 hours ago

Or just git push origin --force blank:main