laarcnew | comments | discord | tags | ask | show | place | submitlogin

Interesting idea! Is the idea to provide a more familiar interface? Git commits want to be immutable, but I could create them in a scratch space.

2 points by akkartik 715 days ago

My `tangle` currently inserts `#line` directives, which helps with error messages. But inserting them into the git history is noisy. Another reason to create the repo from scratch on demand, using it only for browsing convenience, not as a source of truth.


Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)