I got a bit fed up with manually downloading HEAD all over again so i threw together a simple BASH script to do the installation for me. It still needs some polishing, but basically already usable.

Usage:
./fetch_drupal_head -d [designation] -p [defaults to ~/projects/drupalm, optional]