The push, pull, and sync commands remember the last server and reuse it
if the URL argument is omitted.  Sync via network only now.