Closed andreasabel closed 3 years ago
I usually pull upstream before each release. Sometimes the changes can lead to issues, like #118, which require deeper fixes in skylighting. In that case I'll sometimes cherry-pick changes. I can bring in the agda changes now to ensure they'll be in the next releaes.
I updated agda.xml upstream (https://invent.kde.org/frameworks/syntax-highlighting/-/merge_requests/225).
These questions are not clarified by the README, it only says that additions to skylighting should also be added upstream (https://github.com/jgm/skylighting/commit/838367f2806c1a70dc00172cd30e0c3517ce4e04).
Suggested action: integrate answers to above questions into the README.