neggles

Joined 4 years ago

Karma

4

Submissions

2

Member since

Jun 4

[ my public key: https://keybase.io/neggles; my proof: https://keybase.io/neggles/sigs/1akaoe3q_9_T61qCnHGenBMXOGYs0DMfIo1DiuyOhLo ]

View on Hacker News

Recent submissions

Comment · 2 years ago

I've had a lot of luck with CAME https://arxiv.org/abs/2307.02047

Comment · 4 years ago

Uh, `git reset --hard` doesn't just unstage, it unstages and rolls back all tracked files to `HEAD`... If you just want to unstage, that's what `git reset --soft` is for...