2026

Sync GitHub forks with a small shell script

2022

The ultimate git hook to prevent push accidents

2020

On git master, main and inclusion

2018

How to remove file from last commit

2017

Git auto fetch script I run every day

2013

Git in Practice slides
Faster backporting with git, ssh and patch

2012

My Git aliases again
Initializing git repo with httpd anon access
Three-way git merging and meld
Cleanup all merged branches in git
When github says I cannot merge

2011

Git’s crying Patch format detection failed
How to take a git push back
About vim saving me … awesome
My git aliases

2010

Vim, Git a commit message
Skvělá studnice tipů pro git
Výborné materiály o Gitu