git-submitd: allow users to push to the same repo, and keep track of what they pushed with tags