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

People are already starting to use a multi-head model.
1 file changed