To throw away part of the development, i.e. to assign the head to an earlier revision.