Oddbean new post about | logout
 when it’s a git pull and not a git push