# Now run the post-receive hooks. This will *also* push the changes to all mirrors, as we
# are one of these hooks!
os.putenv("GIT_MIRROR_SOURCE", mirror) # tell ourselves which repo we do *not* have to update
# Now run the post-receive hooks. This will *also* push the changes to all mirrors, as we
# are one of these hooks!
os.putenv("GIT_MIRROR_SOURCE", mirror) # tell ourselves which repo we do *not* have to update