Implement buildtime static analysis

[amihaiemil]

We should use checkstyle and/or pmd to guarantee a level of code quality

[amihaiemil]

@charlesmike hello

[charlesmike]

@charlesmike hello

Hi @amihaiemil! I can help you index your Github-hosted website, provided that the repository name respects the format owner.github.io (or has a gh-pages branch) and the command is given by the repo's owner.

More on commands here.
Also, this blog post might be useful.

[amihaiemil]

@charlesmike delete pls

[charlesmike]

@charlesmike delete pls

@amihaiemil the repository's name in a delete command has to be between single back apostrophes.
and it has to match the actual reponame exactly (case sensitive)

A valid delete command here is @charlesmike delete `eva` index.

[amihaiemil]

@charlesmike delete eva index

[charlesmike]

@charlesmike delete eva index

@amihaiemil there is no index for this repo, so your command cannot be fulfilled. Either the index was removed already following a delete command, or it has never existed.

Check the logs for more details.

[amihaiemil]

@charlesmike index the site please

[charlesmike]

@charlesmike index the site please

@amihaiemil thank you for the command, the indexing process started just now. I will let you know of the outcome shortly. In the meantime, you can check the logs here.

[charlesmike]

@charlesmike index the site please

@amihaiemil Index command executed successfully!
Add the widget script to the website in order to make the search functionality available.

See logs for more details.
If you notice any inexplicable errors, please open an issue here

[amihaiemil]

@charlesmike delete eva index