Remotely deleting repository from github can be a pain, create an option to manage repositories from devtools. The tool can be used to manage remote repositories. Management can include, deletion, applying ruleset, etc.