GitHub CreateEvent at 2014-03-21 15:15:37
Repository: ninja-ide
Actor: juancarlospaco
Payload: ref: feature/preferences_execution
ref_type: branch
master_branch: master
description: {Ninja-IDE Is Not Just Another IDE}
pusher_type: user