From 10d7741a2657679ea02d80c971dbbb9a6248741e Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 21 Jan 2022 15:04:08 +0100
Subject: [PATCH] Add board-specific rpi repo to .gitignore

Ref #4396
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index b90841ee9a..f9791c6e04 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@
 /repos/allwinner
 /repos/imx
 /repos/riscv
+/repos/rpi
 /repos/world
 /repos/zynq