Basic git distribution over HTTP with PHP