Merge pull request #718 from fabro-sh/github-coordinate-shared-types