Tool to help tending github repos: like managing labels - View it on GitHub