Push items to server using Git

[peteb]

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.

[peteb]

Also, the server can report any problems with the items to the GitHub Issues tracker using the GitHub API.

[peteb]

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.