[NEST Users] Developers: Please merge main into open PRs

Dear NEST Developers!

We recently introduce automatic link-checking for NEST documentation. This unfortunately led to misleading failures on pull requests. This is fixed now, so please merge NEST main into your open PRs. This will also avoid problems with spurious CI failures due to some experiments run by Github behind the scenes (see https://github.com/nest/nest-simulator/pull/3978).

Best, Hans Ekkehard

--

Prof. Dr. Hans Ekkehard Plesser Research Committee Chair, Faculty of Science and Technology Department of Data Science Faculty of Science and Technology Norwegian University of Life Sciences PO Box 5003, 1432 Ås, Norway Phone +47 6723 1560 Email hans.ekkehard.plesser@nmbu.no Home http://arken.nmbu.no/~plesser