From 252dadabaaa9e54114e19ef29d980f4b36ce0d5c Mon Sep 17 00:00:00 2001 From: Charlotte Van Petegem Date: Mon, 22 Jan 2024 15:35:25 +0100 Subject: [PATCH] Main branch is a name --- book.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book.org b/book.org index 26e2d27..9553110 100644 --- a/book.org +++ b/book.org @@ -910,7 +910,7 @@ This means that the only student that can be impacted by the Python Tutor failin Development of Dodona is done on GitHub. Over the years, Dodona has seen over {{{num_commits}}} commits by {{{num_contributors}}} contributors, and there have been {{{num_releases}}} releases. -All new features and bug fixes are added to the main branch through pull requests, of which there have been almost {{{num_prs}}}. +All new features and bug fixes are added to the =main= branch through pull requests, of which there have been almost {{{num_prs}}}. These pull requests are reviewed by (at least) two other developers of the Dodona team before they are merged. We also treat pull requests as a form of documentation by writing an extensive PR description and adding screenshots for all visual changes or additions. The extensive test suite also runs automatically for every pull request, and developers are encouraged to add new tests for each feature or bug fix.