As I hate having to keep going to Google for info, I am putting things
down here so I don't forget. You will not find it to be of any use.
abcde -a cddb,read,encode,tag,move,playlist,clean -d /dev/sr1 -o ogg -V -x
git checkout .. no, not like all other tools, it is "clone"
git clone git://blah.blah/blah
I guess checkout was not "intuitive".