Open peteb opened 13 years ago
Also, the server can report any problems with the items to the GitHub Issues tracker using the GitHub API.
To optimize this (and be easier on GitHub servers), the server can check the github RSS feeds for updates. This only requires checking some kind of "last updated"-field in the HTTP header.
The scripted items can be pushed (or pulled) to the server, and a GitHub repository can be setup for the items. A number of collaborators can add items directly to the servers.