Hacker News new | ask | show | jobs
by pyre 5391 days ago
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.