I the next commit please delete this file.
Although it is very useful to have it locally, we don't use it on our CI.