git
2022
The ultimate git hook to prevent push accidentsOctober 13, 2022
2020
On git master, main and inclusionJune 19, 2020
2018
How to remove file from last commitFebruary 1, 2018
2017
Git auto fetch script I run every dayJuly 17, 2017
2013
Git in Practice slidesMarch 25, 2013
Faster backporting with git, ssh and patchJanuary 23, 2013
2012
My Git aliases againJuly 30, 2012
Initializing git repo with httpd anon accessJuly 26, 2012
Three-way git merging and meldJune 15, 2012
Cleanup all merged branches in gitMay 29, 2012
When github says I cannot mergeApril 27, 2012
2011
Git's crying Patch format detection failedNovember 30, 2011
How to take a git push backAugust 1, 2011
About vim saving me ... awesomeJune 22, 2011
My git aliasesApril 14, 2011
2010
Vim, Git a commit messageOctober 22, 2010
Skvělá studnice tipů pro gitOctober 5, 2010
Výborné materiály o GituAugust 25, 2010