So what will the commit script do? push the branch to both pants/pantsbuild.github.io and benjyw/benjyw.github.io?