GitHub CreateEvent at 2014-07-14 15:00:42
Repository: intellij-plugins
Actor: SergeyZh
Payload: ref: idea/135.1227
ref_type: tag
master_branch: master
description: Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
pusher_type: user