Avatar scuti

Formerly at scuti@teknik.io.

Read the blogroll. It's typically about programming.

I keep notes on git.

Je joue Minetest avec mes amies français.

mi cu ciska lo tu'itsku bau lo jbobau.i je te lerfanva la .kirilits. (шои!)

2 notes

Tags

#blogroll(13) #programming(11) #surf(3) #git(2) #lojban(9) #francais(4) #scihub(1) #layerone(2) #gardening(3) #minetest(5) #bookmark(6) #leetcode(2) #music(1)

git push origin --delete branch_name

What I use this for: some of my repositories have enough branches on them, but I don't want to delete them locally.

#git

[reply]

Notes on using git so I don't have to use a search engine every time.

#git

In most cases, I want to undo the commit and leave everything intact, so I can re-do the commit message or (un)set my name or e-mail:

git reset --soft HEAD^

I can see a use for undoing the commit and unstaging the changes.

git reset HEAD^

I seldom want to throw out everything and reset to the previous commit:

git reset --hard HEAD^

The above is described in...

git reset --help

It even includes readily understandable examples.

[reply]
[microblog.py]