• Use a dedicated feature branch
• Do NOT use Github to edit files and create commit messages
• What you should write here
• How to update the manual