Vidar Tonaas Fauske

@iamtodor That looks like a bug with the mergetool. Would you mind sharing the notebooks in question (maybe just the relevant cells if you have something else you want to...

While I will have to look into the merge tool in detail to figure out what is going wrong there, for now I just want to make it clear that...

CC @tgeorgeux @weihwang Did you make the screenshots only as a mock up, or do you have a proposal for the CSS? Do you want to submit a PR? If...

This all looks great! I have put it in my TODO queue, and hopefully I will have a PR in the not too distant future. I'm still open to further...

Hi! This sounds like an interesting case. The answer to the question depends a lot on how you want to use it. If you just want normal git functionality, but...

@belonesox Would you consider this issue as resolved? Do you have any suggestions for changes to the documentation for the future (e.g. based on what I talked about in the...

Case 2 is not super complex, but there is some wiring that needs to go into it. Where would you expect the button to be, and how should it work...

This seems interesting! There are several questions that would determine what would the best way to build this document: 1. Is this history only for two versions, or a full...

Thanks for the detailed feedback. Given the requirements as outlined, the existing backend (python) code would be sufficient. Only the frontend code would need modification. I would be curious to...

Note: This is intended for merge after the next release, as it likely needs more polishing than we are able to perform in time.