Re: [CentOS-devel] [PATCH] handle detached HEAD in get_sources and more