You could make a local shell script or Makefile that pulls together those commands and then pushes to github. No need for a central server.