implement repository deleting; repository list refresh tweaks