This commit updates the development guideline
as per the recent default branch name change
on Git.