Avatar scuti

Formerly at scuti@teknik.io.

My software projects are now hosted on NotABug/scuti by Peers Community. The programming languages I generally use are C, C++, Python, Lua, and Ada.

Je joue le jeu Minetest avec mes amis français.

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

2 notes

Tags

#chemistry(1) #git(2) #programming(9) #california(1) #lojban(12) #blogroll(9) #francais(5) #scihub(1) #layerone(2) #gardening(3) #minetest(5) #bookmark(8) #surf(5) #leetcode(2) #music(1)

Pages

[no pages]

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]