-- Added a REST Api for correlation of githubPushEvents And IDEActivity
-- Removed 'Develop' from Github event actionTags and added "Github" to it