<!doctype html>

<html>

 <head> 

  <meta charset="UTF-8"> 

 </head>

 <body>

  <div class="default-style">

   Around July 10, 2022, I authored several commits to improve the success rate of the CI pipelines. At the time, I was too daft to realize that some changes I made broke two of the on-push Debian stable builders. In the time since the on-push macOS builders have broken. There are seven merge requests not authored by me at the moment, and the only way to merge them is to override the usual merge request process. Someone should merge request 1281, which I authored to disable the offending feature in the two builders. I will add another merge request to allow the failure of the on-push macOS runners.

  </div> 

  <div class="default-style">

  </div> 

  <div class="default-style">

   Also, the last merge into the tree was in mid-August; Enough time has passed that a release can be made.

  </div>

 </body>

</html>