On 01/15/2013 01:20 PM, 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.
In that scenario (if it exists) you could always use the build API (and the shortcut red-stopsign buttons on TBPL) to effectively get what you want. +1 to ehsan's proposal. _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
