On Fri, Jun 21, 2024 at 2:42 PM <k...@aspodata.se> wrote: > ... > > Strange that jimtcl/DEVELOPING says that: > > Jim's sources are kept in Git Version Control System. Global repository of > Jim project is placed on this Web site: > > http://repo.or.cz/w/jimtcl.git >
I will inform the developer. He used to push in repo.or.cz, but this server has always been unstable. At a certain point he decided to stop updating it and to only use his github. Also OpenOCD stopped using it for the same reason. https://repo.or.cz/openocd.git/ seems to work, why not jimtcl ? > Because OpenOCD is looking for a SHA1 for jimtcl that has never been pushed in repo.or.cz I have pushed https://review.openocd.org/c/openocd/+/8375 Antonio
