Auto-build on push to Dev branch
Little fun project for me :D, tasks include:
- 1. Have a script that listens for commits/PR's pushed to Development branch (Either via GitHub POSTs or GitHub's notification API) by either @LordFokas or Myself containing the phrase bot build this
git pullthe repo's dev branch into a local folder
HTTP GETthe rebuild.php on the local webserver (or the PHP CLI)
git committhe changes and push up to GitHub
Normally this wouldn't be needed as people submitting changes should do the rebuild on their end before submitting a PR but for a simple change like a typo it can be useful.