Code

Teach "git-pull-script" about alternate HEAD's to pull..