Dear customers,
we've identified a severe problem within the package pool functionality of our latest release (version 4.2.453).
Please do not update to this version if you're using the package pool in any of your projects. We'll release a fixed version within the next week.
If you've already updated to this version pushing or pulling new packages will probably not work at all. There is a workaround available, please contact our helpdesk for instructions.
We're sorry for the inconvenience.