Migration to GitHub Java API (org.eclipse.egit.github.core)