[#80253548-merge] now displays current_git_branch_name at time .roboconf.sh is sourced