PUSH from the github client not by eclipse egit.
Revert "PUSH from the github client not by eclipse egit."

This reverts commit 565945b25e2dd5e0869d20de43768291ec930921.