Synchronization library for GitHub issues