From 9b8c89c8afa52a333cd8a37be544abf7299410b8 Mon Sep 17 00:00:00 2001
From: Alejandro Mery <amery@geeks.cl>
Date: Mon, 20 Jun 2022 20:23:00 +0100
Subject: [PATCH] Add bootstrap.sh to make gitpod.io happy

Signed-off-by: Alejandro Mery <amery@geeks.cl>
---
 bootstrap.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 bootstrap.sh

diff --git a/bootstrap.sh b/bootstrap.sh
new file mode 100755
index 0000000..a4af85d
--- /dev/null
+++ b/bootstrap.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+set -eu
+./sync.sh
+git reset --hard