In watchfile debian/watch, reading webpage https://gitlab.mpi-sws.org/iris/iris/tags?sort=updated_desc failed: 500 Internal Server Error