A service related to DrP collaborative editing got stuck, and prevented editing of articles between approx. 22:00 and 22:15 CET 2022-11-01. The cause was a failure of an underlying API, and that our collab service did not handle this situation well.
We have since then made DrP more resilient to these errors, and we have updated our procedures for quick manual intervention from usif and when this happens again. We are also already at work making the collab service itself more resilient, which is the ultimate fix for this. ETA before end of 2022.
Similar incidents with the same cause have occured with a duration of 10-20 minutes on the following dates: 2022-11-07, 2022-11-01, 2022-10-25, 2022-09-11.
We expect this may happen again until our ultimate fix is ready, but that consequences will be limited due to the already instigated measures. We apologise for the problems caused by this, and for any future problems related to this until fully resolved.