Simple Python server to receive GitHub's payload via its post-receive hook and update branch list for repositories