Hi Reza,
> Hi Ludo, > > If you had time, could you please have a look at this issue? maybe you > have an idea about this that. there is no need to ping the maintainers specifically, especially when you have already received replies to your request for help. It’s fine to ping the list, of course. >> 2019-06-03T18:50:59 fatal: uncaught exception 'git-error' in 'build' >> fiber! >> 2019-06-03T18:50:59 exception arguments: (#<<git-error> code: -14 >> message: "the index is locked; this might be due to a concurrent or >> crashed process" class: 10>) Have you checked if this error message reflects the truth about the git repository in question? It says that the index is locked. Have you looked at the git repository that Cuirass is working on? Is the index of that repository locked? Is another git process accessing the repository? -- Ricardo
