From e9512ae4d57559c85beab216eebcc14dea5ce84d Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Sun, 25 Apr 2021 02:54:07 -0400
Subject: [PATCH] chore: gitignore bootstrap file and minor cleanup of ci

---
 .github/workflows/ci.yml | 2 +-
 .gitignore               | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 9b85b4d..a35a1af 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
       - run: |
           make generate
           if ! git diff --quiet README.md; then
-            echo "Please run `make generate`"
+            echo "Please run 'make generate'"
             git status --short
             git --no-pager diff README.md
             exit 1
diff --git a/.gitignore b/.gitignore
index 8235dba..dd7b12a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /tmp
 .vagrant
+bootstrap.sh