Antonino Sabetta
Antonino Sabetta
This is right https://github.com/eclipse/steady/blob/master/docs/public/content/vuln_db/index.md
Yes, the doc page look right now. Heads-up: a new student is starting a 6-month internship to work on project-kb, improving this documentation further could be in the scope of...
Pandoc allows something like this: ``` :::{#my_id .someclass .someotherclass} text ::: ``` which becomes something like: ``` text ``` One can argue if the triple colons (`:::`) are the most...
Hi @kjk , thanks for taking the time to consider this idea and to assess its feasibility, too bad it's so difficult to implement...
I think the fact that we use Git as the underlying storage is the issue: if we accessed the files on the local filesystem (after cloning) this would be much...
Hi @sumeetpatil thanks for the additional investigation, good to know that on Linux the issue is not as annoying. I still consider 3-4 mins too long for what the merge...
> The "unnecessary coupling" only refers to the merge operation, correct? I think we should not question to use Git as storage for statements, as it comes with plenty of...
Could be that Chapter 3 of Ullman's MMDS is what we need? http://infolab.stanford.edu/~ullman/mmds/book.pdf
Or maybe a less sophisticated approach could be just checking if two commit messages are the same. Not perfect but useful (and it can be replaced with a more advanced...