repository for the text of the eclipse egit plugin