A simple REST API to read/write a remote git repo's HEAD. Using https://github.com/libgit2/rugged