Explore projects

Git post-receive hook to push a subset of a git repository to another repository. We use this to push AE scripts to BRUTE.