Aaron Ang
Aaron Ang
Fixed Markdown formatting for better readability 😬
It is not clear to me whether the output is based on the wall clock or CPU time. Could we add this to the documentation?
The following buttons have the default gnome look: - Previous page - Next page - Refresh page - Home page
I followed the steps to install/use INSANE, but I can't get it to work. I installed sbt-extras. I have installed Scala from the official site. Cloned colder/insane. Then I had...
Babelbot will wait for 30 days until closing the issue after an issue has been labeled "Needs Info". The setup is kind of troublesome though. First, we have to generate...
Fixes #13.  It assumes that release notes link to pull requests with the format `- [#1234`. If I just looked for `[#1234` it would also add comments to issues,...
In this patch, the navigation list is changed such that the proper HTML navigation element is used.
At first the "Fold" button is aligned correctly when viewing commits. However once this button is clicked it aligns incorrectly. 