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 -
2. git pull
the repo's dev branch into a local folder -
3. HTTP GET
the rebuild.php on the local webserver (or the PHP CLI) -
4. git commit
the 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.