Functional GitHub push hook

Still need to do timestamps though