On Wed, Jul 14, 2010 at 11:38:42 -0500, Bruno Wolff III bruno@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.