closehead extension

closehead extension#

close arbitrary heads without checking them out first

Commands