Restore local branch that has been deleted

September 20, 2022

https://stackoverflow.com/a/4025983

user@MY-PC /C/MyRepo (master)
$ git branch -D master2
Deleted branch master2 (was 130d7ba) <- The last SHA1 of the branch is needed
 
user@MY-PC /C/MyRepo (master)
$ git branch master2 130d7ba

[[2022-09-26_python-terminology]]