🐙 Templated web page generator for your git repositories
git clone https://github.com/m-col/gitja
Files | Refs | Readme | License

Commit 2c7f79c61d074d378ea675ccc8c18cfc356104c3
Parent: e0394349274a466de41423ffd8007d03c70ae606
Author: mcol <mcol@posteo.net>
Date: 2021-11-29 01:24:15 +0000
Committer: mcol <mcol@posteo.net>
Committed: 2021-11-29 01:24:15 +0000

generate docs with https host

.github/workflows/ci.yaml Modified

@@ -39,7 +39,7 @@
     - name: Generate docs
       if: matrix.os == 'ubuntu-latest' && github.event_name == 'push'
       run: |
-        sed -i 's/localhost:8000/gitserve.mcol.xyz/' config.dhall
+        sed -i 's*http://localhost:8000*https://gitserve.mcol.xyz*' config.dhall
         stack run -- -c ./config.dhall -q
 
     - name: Deploy docs