JPlag
JPlag copied to clipboard
Prepare for new branch management
Prepares the repository for the new branch management.
This includes using the new develop
branch as the default branch to which all changes are committed and the main
branch to replace the master
branch which always points to the latest release.
⚠️ We need to discuss how to deal with the report viewer. In particular, if the GH pages shall point to the viewer state of main
, of develop
, or if we want to support hosting two pages for both branches. ⚠️
⚠️ After merging this PR, the default branch has to be changed to develop
. ⚠️
⚠️ After merging this PR, master
has to be renamed to main
. ⚠️
Closes #635