Hi Stefan and Tolleiv, > git push origin HEAD:refs/for/workspaces_4-7 Thanks for your answers, that worked fine (except I finally forgot the topic, sorry). Cheers -- Francois Suter Cobweb Development Sarl - http://www.cobweb.ch