script for detached head/Jenkins