Closed janfb closed 3 months ago
I created this new PR to replace the forked branch tomMoral/DOC_improve_doc (#1147 ) because otherwise I had to work in detached HEAD mode. There might be a way to fix this, but I did not find it so far.
tomMoral/DOC_improve_doc
Update and note to self: locally, I have to work on push from branch sbi-dev:DOC_improve_doc to tomMoral:DOC_improve_doc
sbi-dev:DOC_improve_doc
tomMoral:DOC_improve_doc
I created this new PR to replace the forked branch
tomMoral/DOC_improve_doc
(#1147 ) because otherwise I had to work in detached HEAD mode. There might be a way to fix this, but I did not find it so far.