More work on the GitHub plugin