I wonder if nobody else is using subrepositories for managing dependencies and got similar problems. I'm really looking forward to some less 'clever' subrepositories that don't receive commit and push commands from the main repository. --mp