From e17375f9e147aa1409483152227d48d0acf5876e Mon Sep 17 00:00:00 2001
From: Sebastian Mobo <stmobo@gmail.com>
Date: Sat, 19 May 2018 22:08:31 -0500
Subject: [PATCH] Make sure service_worker.js gets served via Pages

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d88b4f19697..f1c8671c8fc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,10 +1,10 @@
 pages:
   stage: deploy
   script:
-  # Evidently it's faster to copy everything and delete what we don't need 
+  # Evidently it's faster to copy everything and delete what we don't need
   # than it is to just copy what we need...
   - mkdir .public
-  - cp -r css fonts img js player opponents index.html config.xml .public
+  - cp -r css fonts img js player opponents index.html config.xml service_worker.js .public
   - find .public/opponents -type f ! \( -iname "*.png" -o -iname "*.gif" -o -iname "*.jpg" -o -iname "*.xml" \) -delete
   - mv .public public
   artifacts:
-- 
GitLab