diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 01fff63fb..26e4ee4ff 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -2,7 +2,7 @@
 # Unless a later match takes precedence, global owners below will be
 # requested for review when someone opens a pull request.
 
-* @paulsc96 @colluca
+* @paulsc96 @colluca @fischeti
 
 hw/snitch_cluster @paulsc96 @lucabertaccini
 hw/snitch_dma @paulsc96 @thommythomaso
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4035071d5..18cd5d4aa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -24,7 +24,12 @@ variables:
 before_script:
   - $PYTHON -m venv .venv
   - source .venv/bin/activate
-  - pip install -r python-requirements.txt
+  # Unpack packages in a local temporary directory which can be safely cleaned
+  # after installation. Also protects against "No space left on device" errors
+  # occurring when the /tmp folder is filled by other processes.
+  - mkdir tmp
+  - TMPDIR=tmp pip install -r python-requirements.txt
+  - rm -rf tmp
   - $BENDER vendor init
 
 ##############