Git for development

Contents:

• Making your own copy (fork) of grave
  • Set up and configure a github account
  • Create your own forked copy of grave
• Set up your fork
  • Overview
  • In detail
• Configure git
  • Overview
  • In detail
• Development workflow
  • Workflow summary
  • Consider deleting your master branch
  • Update the mirror of trunk
  • Make a new feature branch
  • The editing workflow
  • Ask for your changes to be reviewed or merged
  • Some other things you might want to do
• Maintainer workflow
  • Integrating changes