From 8f46f4deeab94fff849e9ee55a64fec617706a1d Mon Sep 17 00:00:00 2001
From: Stefan Bucur <281483+stefanbucur@users.noreply.github.com>
Date: Wed, 16 Jan 2019 13:18:52 -0500
Subject: [PATCH] [tidy-html5] Check out tidy-html5 from the 'next' branch,
 instead of the default 'master'. The next branch is the one that gets the
 latest features and fixes in practice. (#2090)

---
 projects/tidy-html5/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/projects/tidy-html5/Dockerfile b/projects/tidy-html5/Dockerfile
index e9a181725..1f4cf0670 100644
--- a/projects/tidy-html5/Dockerfile
+++ b/projects/tidy-html5/Dockerfile
@@ -22,7 +22,8 @@ RUN apt-get update && \
         cmake ninja-build && \
     apt-get clean
 
-RUN git clone https://github.com/htacg/tidy-html5.git tidy-html5
+RUN git clone -b next --single-branch \
+    https://github.com/htacg/tidy-html5.git tidy-html5
 WORKDIR tidy-html5
 COPY build.sh $SRC/
 COPY *.c *.h *.options $SRC/