<html><head></head><body style="text-align:left; direction:ltr;"><pre>Hi,</pre><pre><br></pre><pre>Please consider the git main branch FROZEN for releases as of now.</pre><pre><br></pre><pre>Nothing should be pushed or merged to the main branch from then on</pre><pre>without explicit approval from myself (or Sebastian if I'm not around),</pre><pre>please ping us on IRC.</pre><pre><br></pre><pre>The git repo will be configured to disallow merges, which might affect<br>your ability to run CI pipelines for MRs targetting main. Sorry about<br>that, it's a gitlab restriction.</pre><pre><br></pre><pre>Plan is to roll 1.19.90 immediately, with the main branch staying<br>frozen until 1.20 is out (hopefully on Monday, if nothing comes up).</pre><pre><br></pre><pre>Thanks!</pre><pre><br></pre><pre>Cheers</pre><pre> Tim</pre><div><br></div><div><span></span></div></body></html>