reuse jason's pull-player with egit.github.core api