GitHub CreateEvent at 2014-08-05 11:00:50
Repository: intellij-plugins
Actor: SergeyZh
Payload: ref: idea/138.1488
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