On Wed, Jul 14, 2010 at 11:38:42 -0500,
Bruno Wolff III <bruno(a)wolff.to> wrote:
I have been using the name of the development branch, 'master', instead of
'HEAD'. I want to look into that and see if using HEAD makes more sense
than using master. Whichever we do should be the same across spins.
I checked and HEAD is the checked out branch. While this won't normally
change in the git repo, master is the more appropriate name for the
branch we develop in. I fix that at the same time I fix the reference to
the F13 version of the Design spin page.