bitrig branch pedro_install deleted

[Pedro Martelletto]

the bitrig pedro_install branch has been deleted by pedro.