A GitHub Issue bot! (Note: Project name may change at any time. This is not finalised.)