MediaWiki Bot to sync GitHub issues onto a wiki article