From: Uwe B. <ou...@ma...> - 2023-12-28 17:25:45
|
Hi all It took me a while to understand sourceforge merge request system (I rarely use sourceforge's web interface) A couple of things: 1. I just pushed to sourceforge several commits in different branches for testing, namely 1. Nidish two patches (thanks Nidish), that now dwell on two different branches. a. Font-lock and b. shell-patch. I tested font-lock, but don't have right now access to another machine that runs matlab so I cannot test this commit. If anybody else, please do. I would like to merge that into master in the next days. 2. The fill-fix branch. Eric committed several changes, that I tested but so far I have not reached to a conclusion on is the best solution. If anybody else wants to test that, please do. 2. I'd like to rename the «master» branch, «default» since it simplifies my workflow. 3. I also would like to create an official mirror on github, but I have to see how to edit the main sourceforge page to indicate that we will continue the development on github (I might also push regularly to sourceforge for a while). Comments are welcome Regards Uwe Brauer -- I strongly condemn Hamas heinous despicable pogroms/atrocities on Israel I strongly condemn Putin's war of aggression against Ukraine. I support to deliver weapons to Ukraine's military. I support the EU and NATO membership of Ukraine. |