Git review: fixed the bug that did not push the commit. (https://rbcommons.com/s/pepperdata/r/4072)
Git review: fixed the bug that did not push the commit.