Don't proof sync recording urls (#954)

docs/discover/index.md

@@ -4,4 +4,4 @@ Pony is an open-source, object-oriented, [actor-model](https://en.wikipedia.org/
 
 If you are looking to jump in and get started with Pony *right now*, you can try it in your browser using the [Pony Playground](http://playground.ponylang.io). Keep reading if you are interested in what makes Pony different and why you should consider using it.
 
-If you are interested in the early history of Pony and how it came into existence, you're in luck: ["An Early History of Pony"](/blog/posts/early-history-of-pony.md).
+If you are interested in the early history of Pony and how it came into existence, you're in luck: ["An Early History of Pony"](https://ponylang.io/blog/2017/05/an-early-history-of-pony/).

mkdocs.yml

@@ -47,12 +47,12 @@ plugins:
         # only available to users that are logged in to GitHub and have
         # ponylang org access
         404: ["https://github.com/organizations/ponylang/settings/repository-defaults"]
-      # ignore_urls:
-      #   # sync recordings regularly times out. if we can every ignore the -1
-      #   # response as "transient", then we can remove this ignore. sadly, we
-      #   # can't add -1 to the raise_error_excludes right now as it doesn't work.
-      #   # only valid HTTP status codes can be excluded.
-      #   - https://sync-recordings.ponylang.io
+      ignore_urls:
+        # sync recordings regularly times out. if we can every ignore the -1
+        # response as "transient", then we can remove this ignore. sadly, we
+        # can't add -1 to the raise_error_excludes right now as it doesn't work.
+        # only valid HTTP status codes can be excluded.
+        - https://sync-recordings.ponylang.io
   - rss:
       match_path: blog/posts/.*
       date_from_meta:

requirements.txt

@@ -1,5 +1,5 @@
 git+https://${INSIDERS_PAT}@github.com/squidfunk/mkdocs-material-insiders.git
-mkdocs-htmlproofer-plugin>=0.1.0
+git+https://github.com/manuzhang/mkdocs-htmlproofer-plugin.git@d0add3fec23339b5f74c97257510988546d12b30
 mkdocs-ezlinks-plugin>=0.1.8
 mkdocs-rss-plugin>=1.12.1
 tzdata>=2024.1