On Tuesday 2013-01-15 13:20 -0800, Gregory Szorc wrote: > This seems to make sense. My only concern is if there is a scenario > where you absolutely need to push without incurring a build (think > merge commit where you don't have control over the previous > commits). I'm not sure why we'd do that, so I'm inclined to believe > that such a scenario does not exist.
I haven't heard of an "absolutely need to not build" scenario. We sometimes do extra builds for various reasons. The point of DONTBUILD is to save resources; occasionally failing to save resources when we could have done so is much less of a problem than not doing things that we really need to do. So Ehsan's proposal sounds great. -David -- 𝄞 L. David Baron http://dbaron.org/ 𝄂 𝄢 Mozilla http://www.mozilla.org/ 𝄂 _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
