Open Source

30764 readers

1038 users here now

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

Useful Links

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

founded 5 years ago

MODERATORS

138

submitted 3 weeks ago by [email protected] to c/[email protected]

49 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 0 points 3 weeks ago (1 children)

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

[–] [email protected] 2 points 3 weeks ago (1 children)

[–] [email protected] 1 points 3 weeks ago (1 children)

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

[–] [email protected] 1 points 3 weeks ago

I can just create a branch in my local clone