Is it permissible to have on-commit / after-commit hooks added to git.postgresql.org repositories?
I'd like to mirror 2ndQuadrant_bdr.git to GitHub if possible. I'm aware that I can use a cron job, but I'd rather not poll git.postgresql.org if there's a better way.
