this post was submitted on 24 Sep 2024
140 points (99.3% liked)

Open Source

31378 readers
159 users here now

All about open source! Feel free to ask questions, and share news, and interesting stuff!

Useful Links

Rules

Related Communities

Community icon from opensource.org, but we are not affiliated with them.

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] badcodecat@lemux.minnix.dev 31 points 2 months ago (2 children)
[–] JohnEdwa@sopuli.xyz 34 points 2 months ago (1 children)
[–] django@discuss.tchncs.de 19 points 2 months ago (1 children)

Omg, gotta clone the repo, before they remove it. 😂

[–] theshatterstone54@feddit.uk 10 points 2 months ago (1 children)

Currently still in history. Issue was closed an hour ago so u don't have long. Hurry

[–] chebra@mstdn.io 5 points 2 months ago (1 children)
[–] django@discuss.tchncs.de 9 points 2 months ago (1 children)

Got a copy now as well. As they appear to be still confused about git, others might still have a chance. 😂

[–] chebra@mstdn.io 0 points 2 months ago (1 children)

@django I see a force-push 22 minutes ago, do you see a "removed it" commit in the history?

[–] django@discuss.tchncs.de 2 points 2 months ago (1 children)
[–] chebra@mstdn.io 1 points 2 months ago (1 children)

@django until it's garbage-collected. All commits changed IDs, even the ones from yesterday.

[–] django@discuss.tchncs.de 1 points 2 months ago

I can just create a branch in my local clone

[–] Xeroxchasechase@lemmy.world 4 points 2 months ago