Following my post yesterday, I decided that for now, we will have the following system:
- A github hosted repository with the binaries
- A github hook to post on notification
- A server side listener that would get that notification
On push, we will simply call git pull in the website directory. We use git ignores for the logs & data files, but that is about it.
It is primitive in the extreme, and it likely have many failure scenarios, but for now, it works. And very nicely, too.