2018/6/3 | Sunday, June 3 - on the vexed subject of github |
2018/4/19 | Thursday, April 19 - a git log with both tags and dates |
2017/3/11 | Saturday, March 11 - git-do: execute commands in the top level of a git repo |
2015/4/24 | Friday, April 24 |
2015/1/22 | Thursday, January 22 - deleting files from git history - postscript: on finding bugs |