A small library that contains data structures for integration of GitHub Repos into WebProtege projects - View it on GitHub