Preventing theoemms's project files from being pushed.