The Jupyter+Git problem is now solved (2022) | Hacker News Reader