Fix rultor merge

[amihaiemil]

Rultor merge keeps failing on a test: #212 (comment)

[amihaiemil]

@charlesmike hello, are you there?

[charlesmike]

@charlesmike hello, are you there?

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 charles-rest index pls

[charlesmike]

@charlesmike delete charles-rest index pls

@amihaiemil the charles-rest index was successfully deleted.
Don't forget to remove the script form your website since the search will not work anymore.
See logs for details.

If you can spare a minute, please consider opening an issue here,let us know why you stopped using this service, what you didn't like and what we could improve. Thanks!

[amihaiemil]

@charlesmike index the new site pls

[charlesmike]

@charlesmike index the new site pls

@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 new site pls

@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]

fixed here: #231 (comment)