Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

change completely how the deployment is done, just build the website and serve it in place from the git repository
Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Signed-off-by: Mattia Rizzolo <mattia@debian.org>

Fixes: #2

This was caused by a race condition between the instance shutting down
and managetests deleting its files.

This commit removes the shared git repository in the root directory:
instead, a 1-depth clone of the branch is done at the start of each
build, so the source code is guaranteed to be fresh.

This doesn't affect build times so much, because only the latest commit
is cloned, not the whole history.

- Fixed a few errors of the previous commit
- Restyled the mobile view
- Moved the icons to dedicated svg files
- Added automatic reloading of the index when deploying

The separated jobs processor should ensure no more crashes stopping
managetests, and the new frontends provides more information.

This allows different branches to use different commands to build,
install and run. Branches directory version changed to "2".

This new structure allows parallel builds, is versioned, and also is
cleaner, with every branch in their own directory.

Fixes #8