path: root/vagrant
diff options
authoranonym <>2019-03-05 15:16:59 +0100
committeranonym <>2019-03-05 15:16:59 +0100
commit8ac09db5fc715a00b3964df8ec1c20166389f4c1 (patch)
tree91bdf200c26254e9a27898ef09317230bf6cc0ad /vagrant
parent4c260fcc588886ea85e133a10b79782dd642bd8b (diff)
Fix typo.
Diffstat (limited to 'vagrant')
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index ea25d45..7ead5cd 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -100,7 +100,7 @@ git fetch origin "${GIT_REF}"
# just fetch it above, but for any other ref (read: branch) the local
# checkout could be very out-of-date, or worse: it may not even exist,
# making any attempt at merging the base branch below fail. We work
-# around this by fetching the ref that the host's origin (most likely
+# around this by fetching the ref from the host's origin (most likely
# the official Tails repo) where the base branch refs must exist and
# be as up-to-date as possible (i.e. since the host's last fetch).
if [ "${TAILS_MERGE_BASE_BRANCH}" = 1 ]; then