It is supposedly added by packagecontrol.io (the package repository), so
no need to have in this repo.