Installing a file into a remote repository is an exceptional case, don't default to the remote repository when dropping afterwards.
Installing a file into a remote repository is an exceptional case, don't default to the remote repository when dropping afterwards.