As documents will be moved to GitHub as files inside repositories, we need to decide on following:

GitHub structure:

• branches for product versions
  • only minor versions
• how to use tags? (if at all)
  • seems there is no need ATM
• prepare rebasing strategy for doc changes that encompass more than the current version
  • rebase? merge?
    -do we want to force changes to the oldest branch concerned?