openshift/origin-server — pull request #3967 by mrunalp (2013-10-22 23:37:05+00:00)
Title: Bug 1022015: Don't enable a disabled local gear on a git push.

[merge]