Signed-off-by: Víctor Cuadrado Juan <me@viccuad.me>
Fix Docker files which had been forgotten in #594 and update scripts and docs to remove references to gb. I also removed the `jenkins` directory which is outdated. We can revert f8d7e99 if we realise that it was a mistake to do so.
Signed-off-by: Alex Chen <minecnly@gmail.com>
Signed-off-by: Konstantinos Sideris <sideris.konstantin@gmail.com>
Victor Cuadrado Juan
Brendan Abolivier
Alex Chen
mujx