GitHub DeleteEvent at 2014-07-31 21:55:07
Repository: RIOT
Actor: haukepetersen
Payload: ref: board_stm32f3discovery
ref_type: branch
pusher_type: user