Web application for treed management of GitHub issues