have the update monitor warn the user if her repo switches while editing
add a configuration pair for proxy urls