search

UniMath / agda-unimath

The agda-unimath library
https://unimath.github.io/agda-unimath/
MIT License
222 stars 71 forks source link

Self-host GoatCounter script #1046

Closed fredrik-bakke closed 8 months ago

fredrik-bakke commented 8 months ago

Makes us self-host the GoatCounter script. Perhaps this will avoid some more tracker blockers. ~The hosted script is a minified version of the original one.~

Follow-up to #1035.

fredrik-bakke commented 8 months ago

I'm having trouble building the website locally due to a new version of Python 🤦‍♂️

VojtechStep commented 8 months ago

If we're pretty-printing the mangled script then maybe just include it in the original form. Also the ISC license notice from the original file has to be included at the top of the file.

fredrik-bakke commented 8 months ago

Oh, shoot, I thought I had pushed the change