Closed krischer closed 4 years ago
@krischer @sebnoe I don't want to be overly pedantic and I understand you wanted to keep working on this while the docker/binder setup was still in works, but #36 was basically copy-paste hijacked here. If people are happy with #36 please comment there and it can be merged and we don't have to have duplicate code across multiple PRs then.
Sorry @megies, my bad. I was experimenting with the binder repository to see how it reacts. I still have trouble to understand how the binder-cache works, but we can talk about this on thursday.
@sebnoe It would also be helpful if you branch off here and work on a different branch and we merge once everything is ready. Multiple people working on a single branch usually results in conflicts that have to be resolved all the time. If we work on different branches we only have to do it once.
@sebnoe no big deal, we can handle it, just as a heads up. And maybe should focus on getting the old stuff running before adding new stuff, it might get confusing otherwise
Also the beginnings of a new workflow how to do things.