This is a reminder about the core.resources
plug-ins migration to the Git repo on Aug 18th.
Please do not commit your core.resources
work to the repo tomorrow.
Migrating core.resources to Git repo on Aug 18th