Implement GitHub Pull Request Sync

Some very thoughtful description here.

https://www.openproject.org/wp/3805