Method to extract the name of a repo from its URL
Also need to track which procedures have been completed