6. Development How-To

• 6.1. What Packages are Involved?
• 6.2. Working with Pull Requests
  • 6.2.1. Forking the repository
  • 6.2.2. Creating a new pull request
  • 6.2.3. Updating a pull request
  • 6.2.4. Dependent pull requests
  • 6.2.5. Reviewing & PRs
  • 6.2.6. Continuous Integration Testing (CI)
  • 6.2.7. Production Testing in CI
  • 6.2.8. Merging a pull request
    • 6.2.8.1. Squash and merge
    • 6.2.8.2. Rebase and merge
    • 6.2.8.3. Create a merge commit
  • 6.2.9. Tools
    • 6.2.9.1. Command line
    • 6.2.9.2. GUI
• 6.3. Installation
• 6.4. Building this Documentation