[pentium10]

We usually choose the time of push based on the nature of the fix. A DB change/fix can cause cache issues, so the cache needs to be warmed again.