git - Pushing my code onto DotCloud from cloud9ide.com -

i'm coding on cloud9ide, pushes github. host on dotcloud. i'm trying see if there's way can code deploy onto dotcloud when push on cloud9ide without doing round of pulling local computer, , running command line tool.

right workflow this:

cloud9ide -> github  $ git pull github -> local  $ dotcloud push project.www . local -> dotcloud 

is there way can skip last step , auto push dotcloud? reading documentation suggests can't directly push them via git.

technically, could git push directly dotcloud (that's dotcloud cli behind scenes); still have carry few steps trigger build process (it's not triggered git push itself).

a better approach might setup post-receive hook on github. hook signal small , lean service somewhere (maybe on dotcloud itself). service refresh local git repository, , schedule dotcloud push.

in long term, dotcloud provide more streamlined integration github; meanwhile, trick minimal effort.