Commits

Michael Gottesman committed ecddf6bb93f
[update-checkout] Add an option --reset-to-remote that can be used with --branch to reset a selected scheme's local branches to the remote branch state. This is useful when one has done some quick prototyping work on the various repos of a scheme that one wants to quickly get rid of.