As discussed already with Sam, could we please have * an alias "binhost-commits" (public, every dev can add himself) * that receives mail for any commit pushed to proj/binhost.git ?! This is mostly for auditing purposes... TIA!
Done