(cd .ssh/; ln authorized_keys_default authorized_keys -s; )
fi;
+if [ ! -e ~/bin/.git ]; then
+ # OK, bin must have already existed; check it out directly
+ mv bin bin.tmp;
+ PATH=~/bin.tmp:$PATH mr checkout bin;
+ mv bin.tmp/* bin;
+ rmdir bin.tmp;
+fi;
+
# do some cleanup; you might want to run git reset --hard in some
# cases; we don't do so automatically in case there are local changes
# that should be kept