Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
Sign in
BVollmerhaus
Total activity
21
Last activity
April 21, 2019 15:05
Member since
August 03, 2018 10:30
Following
0 users
Followed by
0 users
Votes
3
Subscriptions
3
Activity overview
Posts (3)
Comments (12)
Sort by recent activity
Recent activity
Votes
Created
August 06, 2018 13:00
Great, thanks! This question can be marked as solved then.
Community
IntelliJ IDEA Open API and Plugin Development
Listen for Git push events from IntelliJ plugin
0 votes
Edited
August 06, 2018 09:00
Thanks a lot. Just to be sure my code doesn't break any other possible Git integrations, is this the correct way to only use GitPushProcessCustomization#executeAfterPush() without re-implementing a...
Community
IntelliJ IDEA Open API and Plugin Development
Listen for Git push events from IntelliJ plugin
0 votes
«
First
‹
Previous