Mostly finished porting the GitHub plugin