Open katexochen opened 1 month ago
I answered with a thumbs up, but I'm not sure how visible that is so I guess I'll give a written "approval" as well, I think this is a great idea :)
@nbraud are you still planning to write a draft for this? Otherwise I'll try to find the time to do so.
Issue description
There are some shortcomings of the current implementation:
Plan for a refactoring
In theory, we don't need the commit script anymore when the updates via update-bot work as expected. On the other hand it would still be nice to update the extensions when updating the CLI.
State of implementation
@nbraud offered to do an initial implementation
cc @ulrikstrid as co-maintainer